Explanation-based large neighborhood search Charles Prud’hommeXavier LorcaNarendra Jussien OriginalPaper 20 July 2014 Pages: 339 - 379
meSAT: multiple encodings of CSP to SAT Mirko StojadinovićFilip Marić OriginalPaper 17 June 2014 Pages: 380 - 403
Graph coloring inequalities from all-different systems David BergmanJ. N. Hooker OriginalPaper 16 April 2014 Pages: 404 - 433
Symmetries, almost symmetries, and lazy clause generation Geoffrey ChuMaria Garcia de la BandaPeter J. Stuckey OriginalPaper 16 March 2014 Pages: 434 - 462