TY  - RPRT
TI  - Counting-Based Search: Branching Heuristics for Constraint Satisfaction Problems
AU  - Gilles Pesant
AU  - Claude-Guy Quimper
AU  - Alessandro Zanarini
PY  - 2014
DO  - 10.1613/jair.3463
UR  - https://arxiv.org/abs/1401.4601
ID  - 1401.4601
ER  -