https://deepai.org/publication/hypergraph-acyclicity-and-propositional-model-counting
01/24/14 - We show that the propositional model counting problem #SAT for CNF- formulas with hypergraphs that allow a disjoint branches decom...
hypergraph acyclicitypropositionalmodelcounting