Abstract

The paper describes a programming interface that we have developed to separate constraints, solvers, and cooperation strategies in a constraint programming toolkit UniCalc. The interface is simple but it allows us to express such constraint solving techniques as increasing the level of consistency, various strategies for exhaustive search, and cooperation of constraint, symbolic and linear interval solvers.

File
petrov.pdf103.12 KB
Issue
Pages
79-88