Efficient Weighted Model Integration via SMT-Based Predicate Abstraction. Morettin, P., Passerini, A., & Sebastiani, R. In Proc. Int. Joint Conference on Artificial Intelligence (IJCAI).
Efficient Weighted Model Integration via SMT-Based Predicate Abstraction [pdf]Paper  bibtex   

Downloads: 0