Distributed Forward Checking.

Ismel Brito Pedro Meseguer

Published in: CP (2003)

Keyphrases

forward checking
constraint satisfaction problems
maintaining arc consistency
conflict directed
constraint satisfaction
cellular automata
first order logic
arc consistency