Naomi Nishimura, Prabhakar Ragde, Stefan Szeider
Detecting Backdoor Sets with Respect to Horn and Binary Clauses
SAT, 2004.
@inproceedings{SAT-2004-NishimuraRS,
author = "Naomi Nishimura and Prabhakar Ragde and Stefan Szeider",
booktitle = "{Proceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing}",
ee = "http://www.satisfiability.org/SAT04/programme/51.pdf",
pages = "96--103",
title = "{Detecting Backdoor Sets with Respect to Horn and Binary Clauses}",
year = 2004,
}