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]
No references recorded for this publication.
No citations of this publication recorded.