OptiMathSAT: A Tool for Optimization Modulo Theories
No abstract available.
Related papers
- On Optimization Modulo Theories, MaxSMT and Sorting Networks TACAS 2017
- ILP Modulo Theories CAV 2013
- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions TACAS 2015
- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays TACAS 2021
- Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models TOPLAS 2023
- Counterexample Guided Inductive Synthesis Modulo Theories CAV 2018
- Boolean Abstractions for Realizability Modulo Theories CAV 2023
- Monitoring Modulo Theories TACAS 2014