Solving strong controllability of temporal problems with uncertainty using SMT Alessandro CimattiAndrea MicheliMarco Roveri OriginalPaper 04 July 2014 Pages: 1 - 29
Large-scale parallelism for constraint-based local search: the costas array case study Yves CaniouPhilippe CodognetSalvador Abreu OriginalPaper 25 July 2014 Pages: 30 - 56
Hybrid metaheuristics for stochastic constraint programming S. D. PrestwichS. A. TarimB. Hnich OriginalPaper 22 August 2014 Pages: 57 - 76
Scheduling scientific experiments for comet exploration Gilles SimoninChristian ArtiguesPierre Lopez Application 19 August 2014 Pages: 77 - 99
Improving the lower bound of simple tabular reduction Christophe LecoutreChavalit LikitvivatanavongRoland H. C. Yap Letter 30 August 2014 Pages: 100 - 108