Counting truth assignments of formulas of bounded tree-width or clique-width

Eldar Fischer, Johann A. Makowsky, Elena V. Ravve. Counting truth assignments of formulas of bounded tree-width or clique-width. Discrete Applied Mathematics, 156(4):511-529, 2008. [doi]

Abstract

Abstract is missing.