Title: Satisfiability problem
Subjects: Computer algorithms, Propositional calculus, Congresses, Computer science, Decision making