Backdoors to Satisfaction

Gaspers, Serge; Szeider, Stefan

doi:10.1007/978-3-642-30891-8_15

by Serge Gaspers, Stefan Szeider

Reference:

Backdoors to SatisfactionSerge Gaspers, Stefan SzeiderThe Multivariate Algorithmic Revolution and Beyond - Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday (Hans L. Bodlaender, Rod Downey, Fedor V. Fomin, Dániel Marx, eds.), volume 7370 of Lecture Notes in Computer Science, pages 287-317, 2012, Springer Verlag.

Bibtex Entry:

@string{springer="Springer Verlag"}
@string{lncs="Lecture Notes in Computer Science"}
@inproceedings{GaspersSzeider12,
  author       = {Serge Gaspers and Stefan Szeider},
  title	       = {Backdoors to Satisfaction},
  pages	       = {287-317},
  editor       = {Hans L. Bodlaender and Rod Downey and Fedor V. Fomin
                  and D{\'a}niel Marx},
  booktitle    = {The Multivariate Algorithmic Revolution and Beyond -
                  Essays Dedicated to Michael R. Fellows on the
                  Occasion of His 60th Birthday},
  publisher    = Springer,
  series       = LNCS,
  volume       = {7370},
  year	       = {2012},
  doi          = {10.1007/978-3-642-30891-8_15},
}