Possibly Related Publications

The following publications are possibly variants of this publication:

• OptiMathSAT: A Tool for Optimization Modulo TheoriesRoberto Sebastiani, Patrick Trentin. cav 2015: 447-454 [doi]
• Optimization Modulo Theories with OptiMathSATPatrick Trentin. PhD thesis, University of Trento, Italy, 2019. [doi]
• Satisfiability Modulo TheoriesClark W. Barrett, Roberto Sebastiani, Sanjit A. Seshia, Cesare Tinelli. In Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh, editors, Handbook of Satisfiability. Volume 185 of Frontiers in Artificial Intelligence and Applications, pages 825-885, IOS Press, 2009. [doi]
• Satisfiability Modulo TheoriesClark W. Barrett, Roberto Sebastiani, Sanjit A. Seshia, Cesare Tinelli. In Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh, editors, Handbook of Satisfiability - Second Edition. Volume 336 of Frontiers in Artificial Intelligence and Applications, pages 1267-1329, IOS Press, 2021. [doi]