Weight-Based Variable Ordering in the Context of High-Level Consistencies.

Robert J. Woodward Berthe Y. Choueiry

Published in: CoRR (2017)

Keyphrases

high level
variable ordering
branch and bound algorithm
domain specific
constraint satisfaction problems
data structure
conflict directed