Title: Theory and Applications of Satisfiability Testing
Subjects: Decision making, Computer algorithms, Sat (educational test)