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