Show 150 posts per page |
.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)
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 02:48. | Show all 1 posts from this thread on one page |
Powered by: vBulletin Version 2.3.1
Copyright © Jelsoft Enterprises Limited 2000 - 2002.