Detecting Backdoor Sets with Respect to Horn and Binary Clauses

Nishimura, Naomi; Ragde, Prabhakar; Szeider, Stefan

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},

}