Exploiting independent subformulas: A faster approximation scheme for #k-SAT
Keywords: الگوریتم های تصادفی; Algorithms; Analysis of algorithms; Randomized algorithms; #k-SAT; Satisfiability