"Understanding Model Counting for beta-acyclic CNF-formulas."

Johann Brault-Baron, Florent Capelli, Stefan Mengel (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics