Download bibtex

[PesantQZ12]
Gilles Pesant, Claude-Guy Quimper, and Alessandro Zanarini
Counting-Based Search: Branching Heuristics for Constraint Satisfaction Problems
J. Artif. Intell. Res. (JAIR), 173-210, 2012