"Model Counting Using the Inclusion-Exclusion Principle."

Huxley Bennett, Sriram Sankaranarayanan (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics