Lagniez et al. "Improving Model Counting by Leveraging Definability." International Joint Conference on Artificial Intelligence, 2016.
Markdown
[Lagniez et al. "Improving Model Counting by Leveraging Definability." International Joint Conference on Artificial Intelligence, 2016.](https://mlanthology.org/ijcai/2016/lagniez2016ijcai-improving/)
BibTeX
@inproceedings{lagniez2016ijcai-improving,
title = {{Improving Model Counting by Leveraging Definability}},
author = {Lagniez, Jean-Marie and Lonca, Emmanuel and Marquis, Pierre},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2016},
pages = {751-757},
url = {https://mlanthology.org/ijcai/2016/lagniez2016ijcai-improving/}
}