%0 Conference Paper %1 conf/sat/NishimuraRS04 %A Nishimura, Naomi %A Ragde, Prabhakar %A Szeider, Stefan %B SAT %D 2004 %K dblp %T Detecting Backdoor Sets with Respect to Horn and Binary Clauses. %U http://dblp.uni-trier.de/db/conf/sat/sat2004.html#NishimuraRS04

@inproceedings{conf/sat/NishimuraRS04, added-at = {2020-03-12T00:00:00.000+0100}, author = {Nishimura, Naomi and Ragde, Prabhakar and Szeider, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/279ddf52869c2dcc767f50d62e8021173/dblp}, booktitle = {SAT}, crossref = {conf/sat/2004}, ee = {http://www.satisfiability.org/SAT04/programme/51.pdf}, interhash = {4fa38a66bb59679830adcce815c7d650}, intrahash = {79ddf52869c2dcc767f50d62e8021173}, keywords = {dblp}, timestamp = {2020-03-13T12:48:27.000+0100}, title = {Detecting Backdoor Sets with Respect to Horn and Binary Clauses.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2004.html#NishimuraRS04}, year = 2004 }