Asynchronous Inter-Level Forward-Checking for DisCSPs.

Redouane Ezzahir Christian Bessiere Mohamed Wahbi Imade Benelallam Houssine Bouyakhf

Published in: CP (2009)

Keyphrases

forward checking
constraint satisfaction problems
distributed constraint satisfaction problems
maintaining arc consistency
constraint satisfaction
arc consistency
distributed constraint satisfaction
variable ordering
genetic algorithm
computational complexity