Yannis Argyropoulos Kostas Stergiou A Study of SAT-Based Branching Heuristics for the CSP. 38-50 2008 SETN http://dx.doi.org/10.1007/978-3-540-87881-0_5 conf/setn/2008 db/conf/setn/setn2008.html#ArgyropoulosS08