Il metodo strutturale
Posted by gab217 on 21-03-2009 15:28
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
Powered by: vbHome (lite) v3.8 and vBulletin v2.3.1
Copyright © 2000 - 2002 Jelsoft Enterprises Limited