Title: Sat2000
Subjects: Computer algorithms, Propositional calculus, Decision making