Massachusetts Institute of Technology: Leslie Kaelbling and Tomás Lozano-Pérez's "Search, Part 1"

Read these slides.