%0 Journal Article %1 journals/ai/MorettinPS19 %A Morettin, Paolo %A Passerini, Andrea %A Sebastiani, Roberto %D 2019 %J Artif. Intell. %K dblp %P 1-27 %T Advanced SMT techniques for weighted model integration. %U http://dblp.uni-trier.de/db/journals/ai/ai275.html#MorettinPS19 %V 275

@article{journals/ai/MorettinPS19, added-at = {2019-09-23T00:00:00.000+0200}, author = {Morettin, Paolo and Passerini, Andrea and Sebastiani, Roberto}, biburl = {https://www.bibsonomy.org/bibtex/2b4ad866e62e88cb1025adb4f71100ee9/dblp}, ee = {https://doi.org/10.1016/j.artint.2019.04.003}, interhash = {873986255fe33c3464c7c4ee35a9e919}, intrahash = {b4ad866e62e88cb1025adb4f71100ee9}, journal = {Artif. Intell.}, keywords = {dblp}, pages = {1-27}, timestamp = {2019-09-24T11:39:28.000+0200}, title = {Advanced SMT techniques for weighted model integration.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai275.html#MorettinPS19}, volume = 275, year = 2019 }