Maintaining Arc Consistency in Non-Binary Dynamic CSPs using Simple Tabular Reduction.

Matthieu Quéva Christian W. Probst Laurent Ricci

Published in: STAIRS (2010)

Keyphrases

non binary
arc consistency
constraint satisfaction problems
maintaining arc consistency
constraint satisfaction
forward checking
constraint programming
binary representation
constraint propagation
constraint networks
space complexity
soft constraints
np hard
np complete
optimal solution
graph coloring
search space