Approximate Satisfiability Counting. - Stefan Andrei; Gabriel Manolache; Roland H. C. Yap; Victor Felea (SYNASC, 2007)