David G. Mitchell, Eugenia Ternovska. A Framework for Representing and Solving NP Search Problems. In Manuela M. Veloso, Subbarao Kambhampati, editors, Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA. pages 430-435, AAAI Press / The MIT Press, 2005.
Abstract is missing.