Fixed-parameter Tractable Reductions to SAT for Planning

Ronald De Haan, Martin Kronegger, Andreas Pfandler
January 2015
PDF Cite
Type
Conference Paper