Miquel Bofill, Joan Espasa, Mateu Villaret. A Semantic Notion of Interference for Planning Modulo Theories. In Amanda Jane Coles, Andrew Coles, Stefan Edelkamp, Daniele Magazzeni, Scott Sanner, editors, Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, ICAPS 2016, London, UK, June 12-17, 2016. pages 56-64, AAAI Press, 2016. [doi]
Abstract is missing.