"Learning Declarative Control Rules for Constraint-BAsed Planning."

Yi-Cheng Huang, Bart Selman, Henry A. Kautz (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics