by Ronald de Haan, Stefan Szeider
Reference:
Fixed-Parameter Tractable Reductions to SATRonald de Haan, Stefan SzeiderTheory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings (Uwe Egly, Carsten Sinz, eds.), volume 8561 of Lecture Notes in Computer Science, pages 85-102, 2014, Springer Verlag.
Bibtex Entry:
@string{springer="Springer Verlag"}
@string{lncs="Lecture Notes in Computer Science"}
@InProceedings{DeHaanSzeider14b,
author = {de Haan, Ronald and
Stefan Szeider},
title = {Fixed-Parameter Tractable Reductions to {SAT}},
booktitle = {Theory and Applications of Satisfiability Testing -
{SAT} 2014 - 17th International Conference, Held as
Part of the Vienna Summer of Logic, {VSL} 2014,
Vienna, Austria, July 14-17, 2014. Proceedings},
pages = {85-102},
year = {2014},
doi = {10.1007/978-3-319-09284-3_8},
editor = {Uwe Egly and Carsten Sinz},
publisher = Springer,
series = LNCS,
volume = {8561},
url = {http://www.kr.tuwien.ac.at/research/reports/rr1404.pdf},
}