Martin Fürer, Shiva Prasad Kasiviswanathan. Algorithms for Counting 2-SAT Solutions and Colorings with Applications. Electronic Colloquium on Computational Complexity (ECCC), (033), 2005. [doi]
@article{ECCC-TR05-033,
title = {Algorithms for Counting 2-SAT Solutions and Colorings with Applications},
author = {Martin Fürer and Shiva Prasad Kasiviswanathan},
year = {2005},
url = {http://eccc.hpi-web.de/eccc-reports/2005/TR05-033/index.html},
researchr = {https://researchr.org/publication/ECCC-TR05-033},
cites = {0},
citedby = {0},
journal = {Electronic Colloquium on Computational Complexity (ECCC)},
number = {033},
}