Résolution SAT

Natural & Formal Sciences Dictionary
Algorithmes, structures de données et procédures pour déterminer si une formule booléenne propositionnelle (typiquement en forme normale conjonctive) est satisfaisable, et pour produire une affectation satisfaisante quand elle existe ; la résolution SAT moderne inclut DPLL, CDCL, heuristiques, apprentissage de clauses, redémarrages et prétraitement.