Large-scale parallelism for constraint-based local search: the costas array case study - Caniou, Yves; Codognet, Philippe; Richoux, Florian; Diaz, Daniel; Abreu, Salvador (2015)