A constraint solver for sequences and its applications.

Nikolai Kosmatov

Published in: SAC (2006)

Keyphrases

constraint solver
constraint solving
constraint programming
constraint propagation
linear constraints
constraint satisfaction problems
real numbers
constraint satisfaction
constraint logic programming
arc consistency algorithm
constraint solvers
pattern recognition
genetic algorithm