Lagniez and Marquis. "An Improved Decision-DNNF Compiler." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/93
Markdown
[Lagniez and Marquis. "An Improved Decision-DNNF Compiler." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/lagniez2017ijcai-improved/) doi:10.24963/IJCAI.2017/93
BibTeX
@inproceedings{lagniez2017ijcai-improved,
title = {{An Improved Decision-DNNF Compiler}},
author = {Lagniez, Jean-Marie and Marquis, Pierre},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2017},
pages = {667-673},
doi = {10.24963/IJCAI.2017/93},
url = {https://mlanthology.org/ijcai/2017/lagniez2017ijcai-improved/}
}