by Neeldhara Misra, Sebastian Ordyniak, Venkatesh Raman, Stefan Szeider
Reference:
Upper and Lower Bounds for Weak Backdoor Set DetectionNeeldhara Misra, Sebastian Ordyniak, Venkatesh Raman, Stefan SzeiderTheory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings (Matti Järvisalo, Allen Van Gelder, eds.), volume 7962 of Lecture Notes in Computer Science, pages 394-402, 2013, Springer Verlag.
Bibtex Entry:
@string{springer="Springer Verlag"}
@string{lncs="Lecture Notes in Computer Science"}
@inproceedings{MisraOrdyniakRamanSzeider13,
author = {Neeldhara Misra and Sebastian Ordyniak and Venkatesh
Raman and Stefan Szeider},
title = {Upper and Lower Bounds for Weak Backdoor Set
Detection},
pages = {394-402},
editor = {Matti J{\"a}rvisalo and Allen Van Gelder},
booktitle = {Theory and Applications of Satisfiability Testing -
SAT 2013 - 16th International Conference, Helsinki,
Finland, July 8-12, 2013. Proceedings},
publisher = Springer,
series = LNCS,
volume = {7962},
year = {2013},
doi = {10.1007/978-3-642-39071-5_29},
}