sat-solvers

4La chaleur

1Répondre

Résolution en utilisant DPLL sat solveur

je trouve un solveur assis dans http://code.google.com/p/aima-java/ I essayé le code suivant à résoudre une expression en utilisant dpllsolver l'entrée est (A <=> B) AND (C => D) AND (A AND C) AND (NO

java artificial-intelligence logic first-order-logic sat-solvers 2010-10-22

---