Constraint aggregation for rigorous global optimization (Q5962722)
From MaRDI portal
scientific article; zbMATH DE number 6544661
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Constraint aggregation for rigorous global optimization |
scientific article; zbMATH DE number 6544661 |
Statements
Constraint aggregation for rigorous global optimization (English)
0 references
23 February 2016
0 references
constraint aggregation
0 references
global optimization
0 references
constraint satisfaction
0 references
filtering method
0 references
verified computing
0 references
interval analysis
0 references
0 references
0 references
