Redundant disequalities in the Latin Square problem Bart DemoenMaria Garcia de la Banda Letter 06 August 2013 Pages: 471 - 477
Iterative and core-guided MaxSAT solving: A survey and assessment Antonio MorgadoFederico HerasJoao Marques-Silva Survey 20 July 2013 Pages: 478 - 534
Models and emerging trends of concurrent constraint programming Carlos OlarteCamilo RuedaFrank D. Valencia Survey 21 April 2013 Pages: 535 - 578
View-based propagation of decomposable constraints Marco CorreiaPedro Barahona OriginalPaper 07 February 2013 Pages: 579 - 608