Filip Dvorak, Daniel Toropila, Roman Barták. Towards AI Planning Efficiency: Finite-Domain State Variable Reformulation. In Alan M. Frisch, Peter Gregory, editors, Proceedings of the Tenth Symposium on Abstraction, Reformulation, and Approximation, SARA 2013, 11-12 July 2013, Leavenworth, Washington, USA. AAAI, 2013. [doi]
Abstract is missing.