Speeding up Polyhedral Analysis by Identifying Common Constraints (Q2814112)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Speeding up Polyhedral Analysis by Identifying Common Constraints |
scientific article |
Statements
Speeding up Polyhedral Analysis by Identifying Common Constraints (English)
0 references
17 June 2016
0 references
abstract interpretation
0 references
polyhedra analysis
0 references
convex hull
0 references
factoring
0 references
0 references
