Jean-Marie Lagniez, Pierre Marquis. Preprocessing for Propositional Model Counting. In Carla E. Brodley, Peter Stone, editors, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada. pages 2688-2694, AAAI Press, 2014. [doi]
@inproceedings{LagniezM14,
title = {Preprocessing for Propositional Model Counting},
author = {Jean-Marie Lagniez and Pierre Marquis},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8264},
researchr = {https://researchr.org/publication/LagniezM14},
cites = {0},
citedby = {0},
pages = {2688-2694},
booktitle = {Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada},
editor = {Carla E. Brodley and Peter Stone},
publisher = {AAAI Press},
isbn = {978-1-57735-661-5},
}