@inproceedings{DeHaanKroneggerPfandler15,
 author = {Ronald de Haan and Martin Kronegger and Andreas Pfandler},
 booktitle = {Proceedings of {IJCAI} 2015, the 24th International
Joint Conference on Artificial Intelligence, July
25--31, 2015, Buenos Aires, Argentina},
 institution = {Algorithms and Complexity Group, TU Wien},
 number = {AC-TR-15-011},
 title = {Fixed-parameter Tractable Reductions to SAT for Planning},
 url = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-15-011.pdf},
 year = {2015}
}