Automatic Generation of Numerical Redundancies for Non-Linear Constraint Solving.

Frédéric Benhamou Laurent Granvilliers

Published in: Reliab. Comput. (1997)

Keyphrases

constraint solving
constraint logic programming
constraint propagation
constraint satisfaction problems
constraint solver
constraint satisfaction
constraint programming
automatically generate
finite domain
sensitivity analysis
information content
numerical methods
numerical data