Jean-Marie Lagniez, Pierre Marquis. On Preprocessing Techniques and Their Impact on Propositional Model Counting. Journal of Automated Reasoning, 58(4):413-481, 2017. [doi]
@article{LagniezM17, title = {On Preprocessing Techniques and Their Impact on Propositional Model Counting}, author = {Jean-Marie Lagniez and Pierre Marquis}, year = {2017}, doi = {10.1007/s10817-016-9370-8}, url = {http://dx.doi.org/10.1007/s10817-016-9370-8}, researchr = {https://researchr.org/publication/LagniezM17}, cites = {0}, citedby = {0}, journal = {Journal of Automated Reasoning}, volume = {58}, number = {4}, pages = {413-481}, }