Handling Goal Utility Dependencies in a Satisfiability Framework

Richard Anthony Russell, Sean Holden. Handling Goal Utility Dependencies in a Satisfiability Framework. In Ronen I. Brafman, Hector Geffner, Jörg Hoffmann, Henry A. Kautz, editors, Proceedings of the 29th International Conference on Automated Planning and Scheduling, ICAPS 2010, Toronto, Ontario, Canada, May 12-16, 2010. pages 145-152, AAAI, 2010. [doi]

Abstract

Abstract is missing.