PASAR - Planning as Satisfiability with Abstraction Refinement

von Froleyks, Nils
Veröffentlicht in International Symposium on Combinatorial Search (12. : 2019 : Napa, Calif.) Proceedings of the Twelfth International Symposium on Combinatorial Search (SoCS 2019) (2019)