Nogood-based asynchronous forward checking algorithms.

Mohamed Wahbi Redouane Ezzahir Christian Bessiere El-Houssine Bouyakhf

Published in: Constraints An Int. J. (2013)

Keyphrases

forward checking
constraint satisfaction problems
orders of magnitude
computational complexity
search space
optimization problems
heuristic search
search methods
non binary
partial solutions
tree search