Basic Components for Constraint Solver Cooperations.

Éric Monfroy Carlos Castro

Published in: SAC (2003)

Keyphrases

constraint solver
constraint solving
constraint propagation
linear constraints
constraint programming
constraint satisfaction problems
constraint satisfaction
real numbers
video sequences
pattern recognition
upper bound
computational intelligence
sat solvers
arc consistency algorithm