Generalized Optimization Modulo Theories
Abstract Optimization Modulo Theories (OMT) has emerged as an important extension of the
highly successful Satisfiability Modulo Theories (SMT) paradigm. The OMT problem requires …
highly successful Satisfiability Modulo Theories (SMT) paradigm. The OMT problem requires …
Algorithms and Complexity of Difference Logic
Difference Logic (DL) is a fragment of linear arithmetics where atoms are constraints x+ k<=
y for variables x, y (ranging over Q or Z) and integer k. We study the complexity of deciding …
y for variables x, y (ranging over Q or Z) and integer k. We study the complexity of deciding …
From MiniZinc to Optimization Modulo Theories, and Back
F Contaldo, P Trentin, R Sebastiani - Integration of Constraint …, 2020 - Springer
Abstract Optimization Modulo Theories (OMT) is an extension of SMT that allows for finding
models that optimize objective functions. In this paper we aim at bridging the gap between …
models that optimize objective functions. In this paper we aim at bridging the gap between …
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I
This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th
International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy …
International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy …
Optimization Modulo Theories with OptiMathSAT
P Trentin - 2019 - eprints-phd.biblio.unitn.it
In the contexts of Formal Verification (FV) and Automated Reasoning (AR), Satisfiability
Modulo Theories (SMT) is an important discipline that allows for dealing with industrial-level …
Modulo Theories (SMT) is an important discipline that allows for dealing with industrial-level …
[PDF][PDF] Symbolic execution and program synthesis: a general methodology for software verification
T Ströder - 2019 - d-nb.info
We are concerned with the correctness of software and present a general methodology for
verifying properties of programs in virtually any programming language. This methodology …
verifying properties of programs in virtually any programming language. This methodology …
From MiniZinc to Optimization Modulo Theories, and Back (Extended Version)
F Contaldo, P Trentin, R Sebastiani - arXiv preprint arXiv:1912.01476, 2019 - arxiv.org
Optimization Modulo Theories (OMT) is an extension of SMT that allows for finding models
that optimize objective functions. In this paper we aim at bridging the gap between …
that optimize objective functions. In this paper we aim at bridging the gap between …