Constraint Solving on Lattices.

Antonio J. Fernández Patricia M. Hill

Published in: APPIA-GULP-PRODE (1999)

Keyphrases

constraint solving
constraint propagation
constraint logic programming
constraint satisfaction problems
constraint satisfaction
constraint solver
constraint programming
concept lattice
databases
learning algorithm
constraint solvers