From Unification to Constraints.

Joxan Jaffar Jean-Louis Lassez

Published in: LP (1987)

Keyphrases

constraint satisfaction
databases
multiple constraints
data mining
computer vision
image processing
similarity measure
integrity constraints
theorem proving
resource constraints