A Labelling Arc Consistency Method for Functional Constraints.

Mohamed-Salah Affane Hachemi Bennaceur

Published in: CP (1996)

Keyphrases

constraint satisfaction
dynamic programming
cost function
probabilistic model
arc consistency algorithm
data structure
tabu search
global constraints