Compilation des contraintes booléennes n-aires pour le traitement des CSP dynamiques.

Sylvain Piechowiak Joaquin Rodriguez

Published in: Rev. d'Intelligence Artif. (2001)

Keyphrases

constraint satisfaction problems
artificial intelligence
constraint satisfaction
neural network
search space
evolutionary algorithm
special case
constraint propagation
tree decomposition
arc consistency algorithm