Esercizi su DPLL
Posted by Simone_155 on 22-02-2007 15:52
Metto un pò di esercizi sulla DPLL.
Sono presi dai temi d'esame dell'anno 2006.
Sono tutti stati controllati con zChaff (:D) quindi direi giusti.
Powered by: vbHome (lite) v3.8 and vBulletin v2.3.1
Copyright © 2000 - 2002 Jelsoft Enterprises Limited