Concise Introduction to Models and Methods for Automated Planning

by Hector Geffner, Blai Bonet i Rigo