CS 4700: Foundations of Artificial Intelligence Bart Selman Problem Solving by Search R&N: Chapter 3.
