%0 Conference Paper %1 conf/ijcai/MorettinPS17 %A Morettin, Paolo %A Passerini, Andrea %A Sebastiani, Roberto %B IJCAI %D 2017 %E Sierra, Carles %I ijcai.org %K dblp %P 720-728 %T Efficient Weighted Model Integration via SMT-Based Predicate Abstraction. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2017.html#MorettinPS17 %@ 978-0-9992411-0-3

@inproceedings{conf/ijcai/MorettinPS17, added-at = {2021-04-09T00:00:00.000+0200}, author = {Morettin, Paolo and Passerini, Andrea and Sebastiani, Roberto}, biburl = {https://www.bibsonomy.org/bibtex/22cdc3d4fb8d33aea4d158755b5c0872d/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2017}, editor = {Sierra, Carles}, ee = {https://doi.org/10.24963/ijcai.2017/100}, interhash = {08509162ae0d44d4a2a66d7ab443c9e0}, intrahash = {2cdc3d4fb8d33aea4d158755b5c0872d}, isbn = {978-0-9992411-0-3}, keywords = {dblp}, pages = {720-728}, publisher = {ijcai.org}, timestamp = {2024-04-10T11:29:47.000+0200}, title = {Efficient Weighted Model Integration via SMT-Based Predicate Abstraction.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2017.html#MorettinPS17}, year = 2017 }