OptiMathSAT: A Tool for Optimization Modulo Theories

doi:https://doi.org/10.1007/978-3-319-21690-4_27

Open AccessBook Chapter10.1007/978-3-319-21690-4_27

OptiMathSAT: A Tool for Optimization Modulo Theories

Roberto Sebastiani,Patrick Trentin-2015-01-01-Lecture notes in computer science

91PDF

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

Lexicographical orderSatisfiability modulo theoriesModuloSolverComputer scienceProgramming languageInteger (computer science)Theoretical computer science

Chat

Click to start Chat