Carles Mateu: CSP problems as algorithmic benchmarks: measures, methods and models. University of Lleida, Spain 2009