1. Beame P, Kautz H, Sabharwal A (2004) Towards understanding and harnessing the potential of clause learning. J Artif Intell Res 22:319–351
2. Boyan JA, Moore AW (1998) Learning evaluation functions for global optimization and boolean satisfiability. In: National conference on artificial intelligence, Madison. AAAI, Menlo Park, pp 3–10
3. Fikes R, Hart P, Nilsson N (1972) Learning and executing generalized robot plans. Artif Intell 3(1–3):251–288
4. Huang Y-C, Selman B, Kautz H (2000) Learning declarative control rules for constraint-based planning. In: International conference on machine learning, Stanford. Morgan Kaufmann, San Francisco, pp 415–422
5. Kambhampati S (1998) On the relations between intelligent backtracking and failure-driven explanation-based learning in constraint satisfaction and planning. Artif Intell 105(1–2):161–208