2 search results - page 1 / 1 » Generation of Basic Semi-algebraic Invariants Using Convex P... |
SAS
2005
Springer
13 years 10 months ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
ANOR
2005
13 years 4 months ago
2005
Abstract. This is an overview of the significance and main uses of projection, lifting and extended formulation in integer and combinatorial optimization. Its first two sections de...