@ARTICLE{woodward:2017weight, author = {Robert J. Woodward and Berthe Y. Choueiry}, title = {{Weight-Based Variable Ordering in the Context of High-Level Consistencies}}, journal = {ArXiv e-prints}, archivePrefix = "arXiv", eprint = {1711.00909}, primaryClass = "cs.AI", year = 2017, month = nov, }