Dynamic Variable Ordering in CSPs.

Fahiem Bacchus Paul van Run

Published in: CP (1995)

Keyphrases

variable ordering
forward checking
constraint satisfaction problems
branch and bound algorithm
constraint propagation
conflict directed
data structure
data streams
upper bound
binary decision diagrams