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 is missing.