Understanding model counting for $\beta$-acyclic CNF-formulas

Johann Brault-Baron, Florent Capelli, Stefan Mengel

We extend the knowledge about so-called structural restrictions of $\#SAT$ by giving a polynomial time algorithm for $\beta$-acyclic $\#SAT$. In contrast to previous…