\textsc{OptiMathSAT}: a tool for optimization modulo theories (Q2303246)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | \textsc{OptiMathSAT}: a tool for optimization modulo theories |
scientific article |
Statements
\textsc{OptiMathSAT}: a tool for optimization modulo theories (English)
0 references
3 March 2020
0 references
OptiMathSAT
0 references
optimization modulo theories
0 references
OMT
0 references
MaxSMT
0 references
sorting networks
0 references
multi-objective optimization
0 references
0 references
0 references
