A Study of SAT-Based Branching Heuristics for the CSP. - Yannis Argyropoulos; Kostas Stergiou 001 (SETN, 2008)