PASAR - Planning as Satisfiability with Abstraction Refinement.

Nils Christian Froleyks, Toms Balyo, Dominik Schreiber

Browse the full SoCS paper archive.