Improved filtering for weighted circuit constraints Pascal BenchimolWillem-Jan van HoeveMichel Rueher OriginalPaper 25 March 2012 Pages: 205 - 233
Dulmage-Mendelsohn Canonical Decomposition as a generic pruning technique Radosław Cymer OriginalPaper 11 April 2012 Pages: 234 - 272
Solving constraint satisfaction problems with SAT modulo theories Miquel BofillMiquel PalahíMateu Villaret Application 26 May 2012 Pages: 273 - 303
An overview of parallel SAT solving Ruben MartinsVasco ManquinhoInês Lynce Survey 11 April 2012 Pages: 304 - 347
Corrigendum to “Min-domain retroactive ordering for asynchronous backtracking” Younes MechqraneMohamed WahbiRoie Zivan Letter 31 May 2012 Pages: 348 - 355