On Preprocessing Techniques and Their Impact on Propositional Model Counting
Crossref DOI link: https://doi.org/10.1007/s10817-016-9370-8
Published Online: 2016-04-07
Published Print: 2017-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Lagniez, Jean-Marie
Marquis, Pierre
Funding for this research was provided by:
Agence Nationale de la Recherche (BR4CP ANR-11-BS02-008)
Text and Data Mining valid from 2016-04-07