Optimization space pruning without regrets. - Ulysse Beaugnon; Antoine Pouille; Marc Pouzet; Jacques A. Pienaar; Albert Cohen 001 (CC, 2017)