.dsy:it. - Esercizi su DPLL

.dsy:it. (http://www.dsy.it/forum/)
- Filez (http://www.dsy.it/forum/forumdisplay.php?forumid=72)
-- Esercizi su DPLL (http://www.dsy.it/forum/showthread.php?threadid=29634)

Posted by Simone_155 on 22-02-2007 15:52:

Esercizi su DPLL

Metto un pò di esercizi sulla DPLL.
Sono presi dai temi d'esame dell'anno 2006.
Sono tutti stati controllati con zChaff () quindi direi giusti.

All times are GMT. The time now is 16:28.

Show all 1 posts from this thread on one page