Part 12 of Artificial Intelligence: planning as a satisfiability problem.
No download links available.