Lukás Chrpa, Enrico Scala, Mauro Vallati. Towards a Reformulation Based Approach for Efficient Numeric Planning: Numeric Outer Entanglements. In Levi Lelis, Roni Stern, editors, Proceedings of the Eighth Annual Symposium on Combinatorial Search, SOCS 2015, 11-13 June 2015, Ein Gedi, the Dead Sea, Israel. pages 166-170, AAAI Press, 2015. [doi]
Abstract is missing.