@article{NishimuraRagdeSzeider07,
 author = {Naomi Nishimura and Prabhakar Ragde and Stefan Szeider},
 journal = {Acta Informatica},
 number = {7-8},
 pages = {509-523},
 title = {Solving \#{S}{A}{T} using Vertex Covers},
 url = {https://www.ac.tuwien.ac.at/files/pub/NishimuraRagdeSzeider07.pdf},
 volume = {44},
 year = {2007}
}