Guiding Planner Backjumping Using Verifier Traces

Robert P. Goldman, Michael J. S. Pelican, David J. Musliner. Guiding Planner Backjumping Using Verifier Traces. In Shlomo Zilberstein, Jana Koehler, Sven Koenig, editors, Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), June 3-7 2004, Whistler, British Columbia, Canada. pages 279-286, AAAI, 2004.

Abstract

Abstract is missing.