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 PfandlerProceedings of IJCAI 2015, the 24th International Joint Conference on Artificial Intelligence, July 25–31, 2015, Buenos Aires, Argentina, 2015.

Bibtex Entry:

@InProceedings{DeHaanKroneggerPfandler15,
  author       = {Ronald de Haan and Martin Kronegger and Andreas Pfandler},
  title	       = {Fixed-parameter Tractable Reductions to SAT for Planning},
  booktitle    = {Proceedings of {IJCAI} 2015, the 24th International
                  Joint Conference on Artificial Intelligence, July
                  25--31, 2015, Buenos Aires, Argentina},
  year	       = 2015,
  url = {http://ijcai.org/Proceedings/15/Papers/410.pdf},
}