.dsy:it. - Aiuto su DPLL

.dsy:it.
//www.dsy.it

Aiuto su DPLL

Posted by Simone_155 on 15-02-2007 15:17

Ciao a tutti!
Qualcuno di voi sarebbe in grado di spiegarmi la DPLL?
Cioè, io non riesco a capire qual'è l'ordine o il criterio con cui applicare le regole!
Sulle dispense purtroppo non ci sono molto esempi, e cmq anke quei pochi ke ci sono non mi sono per niente chiari...
non capisco proprio perchè prima fa una regola, poi un'altra, poi magari ne riapplica una già applicata...boh!!!!
Aiuto!!!