Nils Christian Froleyks, Tomás Balyo, Dominik Schreiber. PASAR - Planning as Satisfiability with Abstraction Refinement. In Pavel Surynek, William Yeoh 0001, editors, Proceedings of the Twelfth International Symposium on Combinatorial Search, SOCS 2019, Napa, California, 16-17 July 2019. pages 70-78, AAAI Press, 2019. [doi]
Abstract is missing.