@inproceedings{NishimuraRagdeSzeider06,
 author = {Naomi Nishimura and Prabhakar Ragde and Stefan Szeider},
 booktitle = {Proceedings of SAT 2006, Ninth International Conference on 
Theory and Applications of Satisfiability Testing,  
August 12-15, 2006, Seattle, Washington, USA},
 pages = {396-409},
 series = {Lecture Notes in Computer Science},
 title = {Solving \#{S}{A}{T} using Vertex Covers},
 volume = {4121},
 year = {2006}
}