Hankui Zhuo, Qiang Yang, Lei Li. Constraint-Based Case-Based Planning Using Weighted MAX-SAT. In Lorraine McGinty, David C. Wilson, editors, Case-Based Reasoning Research and Development, 8th International Conference on Case-Based Reasoning, ICCBR 2009, Seattle, WA, USA, July 20-23, 2009, Proceedings. Volume 5650 of Lecture Notes in Computer Science, pages 374-388, Springer, 2009.
Abstract is missing.