Resolución SAT
Natural & Formal Sciences Dictionary
Definición
Algoritmos, estructuras de datos y procedimientos para determinar si una fórmula booleana proposicional (típicamente en CNF) es satisfacible y para producir una asignación satisfactoria cuando existe; la resolución SAT moderna incluye DPLL, CDCL, heurísticas, aprendizaje de cláusulas, reinicios y preprocesado.