4 books
Algorithms for the Satisfiability Problem
Constraint-based Searching
A-B processes
Wei Sanwei Sheng Ping Ji Shu Xin