Fixed-Parameter Tractable Reductions to SAT

de Haan, Ronald; Szeider, Stefan

doi:10.1007/978-3-319-09284-3_8

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},
}