Deschide articolul original într-un tab nou Schimbarea acestei opțiuni se aplică imediat și reîncarcă pagina.
LECTURA
Înapoi la articole →

Home on Jérôme Vouillon

vouillon.github.io/blog/index.xml
Vizitează site-ul

Cel mai recent articol

Ultima verificare

Urmăritori 0 urmăritori
Articole: 1

  1. Teaching Booleans About Versions: A Theory-Augmented BDD Library in OCaml

    (Home on Jérôme Vouillon)

    What if checking whether two formulas with a million nodes are logically equivalent took exactly one machine instruction?