An Open-Ended Finite Domain Constraint Solver.

Mats Carlsson Greger Ottosson Björn Carlson

Published in: PLILP (1997)

Keyphrases

open ended
constraint solver
finite domain
constraint solving
constraint propagation
constraint programming
constraint satisfaction problems
linear constraints
constraint satisfaction
constraint logic programming
real numbers
learning outcomes
sat solvers
orders of magnitude
path consistency