OptiMathSAT
An Optimization Modulo Theories (OMT) tool
Papers describing OptiMathSAT
-
Francesco Contaldo, Patrick Trentin and Roberto Sebastiani
From MiniZinc to Optimization Modulo Theories, and Back
Seventeenth International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research -- CPAIOR'20. To Appear
-
Patrick Trentin and Roberto Sebastiani
Optimization Modulo the Theory of Floating-Point Numbers
In proc. International Conference on Automated Deduction - CADE 27. Published online: August 20th 2019
-
Roberto Sebastiani and Patrick Trentin
OptiMathSAT: A Tool for Optimization Modulo Theories
Journal of Automated Reasoning - JAR, 2018. Springer. Published online: December 15th 2018.
-
Roberto Sebastiani and Patrick Trentin
On Optimization Modulo Theories, MaxSMT and Sorting Networks
In proc. Tools and Algorithms for the Construction and Analysis of Systems, TACAS'17, 2017.
- Roberto Sebastiani and Patrick Trentin
OptiMathSAT: A tool for Optimization Modulo Theories
In proc. Int. Conf. on Computer Aided verification, CAV'15, 2015. (extended version)
- Roberto Sebastiani and Patrick Trentin
Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions
In proc. Tools and Algorithms for the Construction and Analysis of Systems, TACAS'15, 2015.
(extended version)
- Roberto Sebastiani and Silvia Tomasi
Optimization Modulo Theories with Linear Rational Costs
ACM Transactions on Computational Logics (TOCL), Volume 16, Issue 2, 2015
- Roberto Sebastiani and Silvia Tomasi
Optimization in SMT with LA(Q) Cost Functions
In proc. IJCAR 2012.
Papers using OptiMathSAT
- 2017
-
Zhengbing Bian, Fabian Chudak, William Macready, Aidan Roy, Roberto Sebastiani, Stefano Varotti
Solving SAT and MaxSAT with a Quantum Annealer: Foundations and a Preliminary Report.
In proc. FroCoS 2017 - The 11th International Symposium on Frontiers of Combining Systems LNCS , © Springer.
-
Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini, John Mylopoulos
Modeling and Reasoning on Requirements Evolution with Constrained Goal Models.
In proc. SEFM 2017 - The 15th International Conference on Software Engineering and Formal Methods LNCS , © Springer.
-
Gergely Kovásznai, Csaba Biró, and Balázs Erdélyi
Generating Optimal Scheduling for Wireless Sensor Networks by Using Optimization Modulo Theories Solvers
SMT Workshop, 2017
-
Stefan Ratschan
Simulation Based Computation of Certificates for Safety of Dynamical Systems
arXiv preprint arXiv:1707.00879.
- 2016
-
Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini, John Mylopoulos
Multi-Objective Reasoning with Constrained Goal Models.
Requirements Engineering. Published online 24th December 2016.
DOI: http://dx.doi.org/10.1007/s00766-016-0263-5. Paper version in print.
-
Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini, John Mylopoulos
Requirements Evolution and Evolution Requirements with Constrained Goal Models.
In proc. ER 2016 - International Conference on Conceptual Modeling. 2016. LNAI, © Springer.
DOI: https://doi.org/10.1007/978-3-319-46397-1_42.
-
Konstantinos Angelopoulos, Fatma Başak Aydemir, Paolo Giorgini, John Mylopoulos
Solving the next adaptation problem with prometheus
In Research Challenges in Information Science (RCIS), 2016 IEEE Tenth International Conference on (pp. 1-10). IEEE.
DOI: https://doi.org/10.1109/RCIS.2016.7549328.
-
Fatma Başak Aydemir, Paolo Giorgini, John Mylopoulos
Multi-objective risk analysis with goal models
In Research Challenges in Information Science (RCIS), 2016 IEEE Tenth International Conference on (pp. 1-10). IEEE.
DOI: https://doi.org/10.1109/RCIS.2016.7549302.
- 2015
Papers related to OptiMathSAT
