Morettin et al. "Efficient Weighted Model Integration via SMT-Based Predicate Abstraction." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/100
Markdown
[Morettin et al. "Efficient Weighted Model Integration via SMT-Based Predicate Abstraction." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/morettin2017ijcai-efficient/) doi:10.24963/IJCAI.2017/100
BibTeX
@inproceedings{morettin2017ijcai-efficient,
title = {{Efficient Weighted Model Integration via SMT-Based Predicate Abstraction}},
author = {Morettin, Paolo and Passerini, Andrea and Sebastiani, Roberto},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2017},
pages = {720-728},
doi = {10.24963/IJCAI.2017/100},
url = {https://mlanthology.org/ijcai/2017/morettin2017ijcai-efficient/}
}