@article{Szeider05d,
 author = {Stefan Szeider},
 journal = {Journal of Automated Reasoning},
 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},
 number = {1-3},
 pages = {73-88},
 title = {Backdoor Sets for {DLL} Subsolvers},
 url = {https://www.ac.tuwien.ac.at/files/pub/Szeider05d.pdf},
 volume = {35},
 year = {2005}
}