%0 Journal Article %1 journals/tocl/SebastianiT15 %A Sebastiani, Roberto %A Tomasi, Silvia %D 2015 %J ACM Trans. Comput. Log. %K %N 2 %P 12:1-12:43 %T Optimization Modulo Theories with Linear Rational Costs. %U http://dblp.uni-trier.de/db/journals/tocl/tocl16.html#SebastianiT15 %V 16

@article{journals/tocl/SebastianiT15, added-at = {2023-12-12T17:35:30.000+0100}, author = {Sebastiani, Roberto and Tomasi, Silvia}, biburl = {https://www.bibsonomy.org/bibtex/231ae4f11c8b5691ae6287f5fdd335ef5/admin}, ee = {https://doi.org/10.1145/2699915}, interhash = {05e922622ad44c77cd405e120081bfd8}, intrahash = {31ae4f11c8b5691ae6287f5fdd335ef5}, journal = {ACM Trans. Comput. Log.}, keywords = {}, number = 2, pages = {12:1-12:43}, timestamp = {2023-12-12T17:35:30.000+0100}, title = {Optimization Modulo Theories with Linear Rational Costs.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl16.html#SebastianiT15}, volume = 16, year = 2015 }