Artificial Intelligence: The Search Method Introduction to Cognitive Science.
Optimal Implementation of Watched Literals and More General Techniques
Artificial Intelligence: The Search Method