Understanding Model Counting for β-acyclic CNF-formulas Johann Brault-Baron∗1 , Florent Capelli†2 , and Stefan Mengel‡

First Page		Document Content
Date: 2015-02-25 01:50:22		Understanding Model Counting for β-acyclic CNF-formulas Johann Brault-Baron∗1 , Florent Capelli†2 , and Stefan Mengel‡ Add to Reading List Source URL: drops.dagstuhl.de Download Document from Source Website File Size: 613,04 KB Share Document on Facebook