by Naomi Nishimura, Prabhakar Ragde, Stefan Szeider
Reference:
Detecting Backdoor Sets with Respect to Horn and Binary ClausesNaomi Nishimura, Prabhakar Ragde, Stefan SzeiderProceedings of SAT 2004 (Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May, 2004, Vancouver, BC, Canada), pages 96-103, 2004.
Bibtex Entry:
@InProceedings{NishimuraRagdeSzeider04-informal,
author = {Naomi Nishimura and Prabhakar Ragde and Stefan Szeider},
title = {Detecting Backdoor Sets with Respect to {Horn} and Binary
Clauses},
booktitle = {Proceedings of SAT 2004 (Seventh International
Conference on Theory and Applications of Satisfiability
Testing, 10-13 May, 2004, Vancouver, BC, Canada)},
year = {2004},
pages = {96-103},
url = {http://www.satisfiability.org/SAT04/programme/51.pdf},
gsid = {https://scholar.google.com/scholar?oi=bibs&hl=en&cites=18058848128221922885&as_sdt=5},
}