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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.