Fixed-Parameter Tractable Reductions to SAT for Planning.

Ronald de Haan, Martin Kronegger, Andreas Pfandler

Browse the full IJCAI paper archive.