Backdoor Sets for DLL Subsolvers

Szeider, Stefan

by Stefan Szeider

Reference:

Backdoor Sets for DLL SubsolversStefan SzeiderJournal of Automated Reasoning, volume 35, number 1-3, pages 73-88, 2005.Note: Reprinted as Chapter 4 of the book SAT 2005 - Satisfiability Research in the Year 2005, edited by E. Giunchiglia and T. Walsh, Springer Verlag, 2006

Bibtex Entry:

@string{jar="Journal of Automated Reasoning"}
@Article{Szeider05d,
  author = 	 {Stefan Szeider},
  title = 	 {Backdoor Sets for {DLL} Subsolvers},
  journal = 	 JAR,
   volume  =     {35},
   number  =     {1-3},
  pages =        {73-88},
 year = 	 2005,
  note = 	 {Reprinted as Chapter 4 of the book SAT 2005 - 
                  Satisfiability Research in the Year 2005, 
                  edited by E. Giunchiglia and T. Walsh, 
                  Springer Verlag, 2006},
  url   = {https://www.ac.tuwien.ac.at/files/pub/Szeider05d.pdf},

}