.dsy:it. - Il metodo strutturale

.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- Il metodo strutturale (http://www.dsy.it/forum/showthread.php?threadid=38058)

Posted by gab217 on 21-03-2009 15:28:

Procedura DPLL

Ciao a tutti qualcuno potrebbe aiutarmi a capire come funzionala procedura DPLL spiegato a pagina 14 delle dispense Introduzione alla logica proposizionale e la procedura DPLL.

Grazie ciao

All times are GMT. The time now is 08:04.

Show all 1 posts from this thread on one page