"Constraint satisfaction techniques in planning and scheduling."

Roman Barták, Miguel A. Salido, Francesca Rossi (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics