# Efficient Weighted Model Integration via SMT-Based Predicate Abstraction

> Research article (Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017) · cited 21× · AI/ML

**Wikidata**: [openalex:W2741018875](https://www.wikidata.org/wiki/openalex:W2741018875)  
**Source**: https://4ort.xyz/entity/efficient-weighted-model-integration-via-smt-based-predicate-abstraction