Constraint Solving on Terms.

Hubert Comon Claude Kirchner

Published in: CCL (1999)

Keyphrases

constraint solving
constraint satisfaction problems
constraint propagation
logic programs
np complete
constraint satisfaction
constraint logic programming
constraint solver
finite domain
information retrieval
search space