An Improved Tight Closure Algorithm for Integer Octagonal Constraints (Q5452703)
From MaRDI portal
scientific article; zbMATH DE number 5259553
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An Improved Tight Closure Algorithm for Integer Octagonal Constraints |
scientific article; zbMATH DE number 5259553 |
Statements
An Improved Tight Closure Algorithm for Integer Octagonal Constraints (English)
0 references
4 April 2008
0 references
