Hypergraph Acyclicity and Propositional Model Counting.

Florent Capelli, Arnaud Durand, Stefan Mengel

Browse the full SAT paper archive.