SAT

Satisfiability of Propositional Logic