3 books
Algorithms for the Satisfiability Problem
Load Balancing: An Automated Learning Approach
Computers for Artificial Intelligence Processing