\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 the normal view instead:
scientific article; zbMATH DE number 7176604
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | \textsc{OptiMathSAT}: a tool for optimization modulo theories |
scientific article; zbMATH DE number 7176604 |
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
