Martin Fürer Shiva Prasad Kasiviswanathan Algorithms for Counting 2-SatSolutions and Colorings with Applications. 47-57 2007 conf/aaim/2007 AAIM http://dx.doi.org/10.1007/978-3-540-72870-2_5 db/conf/aaim/aaim2007.html#FurerK07