Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions (Q5194955)
From MaRDI portal
scientific article; zbMATH DE number 7105952
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions |
scientific article; zbMATH DE number 7105952 |
Statements
Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions (English)
0 references
17 September 2019
0 references
cost function
0 references
truth assignment
0 references
unit clause
0 references
bound model check
0 references
incremental version
0 references
