Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas. Knowledge Compilation for Model Counting: Affine Decision Trees. In Francesca Rossi, editor, IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. pages 947-953, IJCAI/AAAI, 2013. [doi]
@inproceedings{KoricheLMT13,
title = {Knowledge Compilation for Model Counting: Affine Decision Trees},
author = {Frédéric Koriche and Jean-Marie Lagniez and Pierre Marquis and Samuel Thomas},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6574},
researchr = {https://researchr.org/publication/KoricheLMT13},
cites = {0},
citedby = {0},
pages = {947-953},
booktitle = {IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013},
editor = {Francesca Rossi},
publisher = {IJCAI/AAAI},
isbn = {978-1-57735-633-2},
}