Using Restarts in Constraint Programming over Finite Domains - An Experimental Evaluation. - Luís Manuel Tremoceiro Baptista (2017)