by Serge Gaspers, Stefan Szeider
Reference:
Strong Backdoors to Nested SatisfiabilitySerge Gaspers, Stefan SzeiderTheory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings (Alessandro Cimatti, Roberto Sebastiani, eds.), volume 7317 of Lecture Notes in Computer Science, pages 72-85, 2012, Springer Verlag.
Bibtex Entry:
@string{springer="Springer Verlag"}
@string{lncs="Lecture Notes in Computer Science"}
@inproceedings{GaspersSzeider12c,
author = {Serge Gaspers and Stefan Szeider},
title = {Strong Backdoors to Nested Satisfiability},
pages = {72-85},
editor = {Alessandro Cimatti and Roberto Sebastiani},
booktitle = {Theory and Applications of Satisfiability Testing -
SAT 2012 - 15th International Conference, Trento,
Italy, June 17-20, 2012. Proceedings},
publisher = Springer,
series = LNCS,
volume = {7317},
year = {2012},
doi = {10.1007/978-3-642-31612-8_7},
}