Linear Invariant Generation Using Non-linear Constraint Solving.

Michael Colón Sriram Sankaranarayanan Henny Sipma

Published in: CAV (2003)

Keyphrases

constraint solving
constraint propagation
constraint logic programming
constraint satisfaction problems
constraint satisfaction
constraint solver
constraint programming
simple linear
highly non linear
linear constraints
linear programming
semi parametric
finite domain
constraint solvers