Fixed-Parameter Tractable Reductions to SAT for Planning

Haan, Ronald de; Kronegger, Martin; Pfandler, Andreas

by Ronald de Haan, Martin Kronegger, Andreas Pfandler

Reference:

Fixed-Parameter Tractable Reductions to SAT for PlanningRonald de Haan, Martin Kronegger, Andreas Pfandler2015, Technical report AC-TR-15-011, Algorithms and Complexity Group, TU Wien.

Bibtex Entry:

@TechReport{DeHaanKroneggerPfandler15,
  author    = {Ronald de Haan and Martin Kronegger and Andreas Pfandler},
  title       = {Fixed-Parameter Tractable Reductions to SAT for Planning},
  institution  = {Algorithms and Complexity Group, TU Wien},
  year 	       = {2015},
  number    = {AC-TR-15-011},
  url = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-15-011.pdf},
}