Efficient and Safe Global Constraints for Handling Numerical Constraint Systems (Q5698733)
From MaRDI portal
scientific article; zbMATH DE number 2219961
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Efficient and Safe Global Constraints for Handling Numerical Constraint Systems |
scientific article; zbMATH DE number 2219961 |
Statements
Efficient and Safe Global Constraints for Handling Numerical Constraint Systems (English)
0 references
28 October 2005
0 references
systems of equations and inequalities
0 references
branch and prune algorithms
0 references
constraint programming
0 references
reformulation linearization technique
0 references
global constraint
0 references
interval arithmetic
0 references
safe rounding
0 references
