\textsc{OptiMathSAT}: a tool for optimization modulo theories (Q2303246)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: \textsc{OptiMathSAT}: a tool for optimization modulo theories |
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
0.8859441
0 references
0.8707737
0 references
0.86524206
0 references
0.8631693
0 references
0.8549051
0 references
0.85487103
0 references
