|
Simone_155 |
Like a Great White Shark
Registered: Mar 2006
Posts: 140 (0.02 al dì)
Location: Piacenza
Corso: Informatica
Anno: 3
Time Online: 1 Day, 2:30:23 [...]
Status: Offline
Edit | Report | IP: Logged |
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.
Attachment: dpll_2006.jpeg
This has been downloaded 231 time(s).
|