Résolution de Satisfiabilité

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
La procédure algorithmique qui détermine si une formule propositionnelle ou booléenne admet au moins une assignation de valeurs de vérité rendant la formule vraie ; appliquée généralement à des formules en forme normale conjonctive (FNC) et mise en œuvre par des solveurs SAT.