TY  - RPRT
TI  - Weight-Based Variable Ordering in the Context of High-Level Consistencies
AU  - Robert J. Woodward
AU  - Berthe Y. Choueiry
PY  - 2017
UR  - https://arxiv.org/abs/1711.00909
ID  - 1711.00909
ER  -