Hypergraph Acyclicity and Propositional Model Counting | Read Paper on Bytez