205 | -- | 233 | Pascal Benchimol, Willem Jan van Hoeve, Jean-Charles Régin, Louis-Martin Rousseau, Michel Rueher. Improved filtering for weighted circuit constraints |
234 | -- | 272 | Radoslaw Cymer. Dulmage-Mendelsohn Canonical Decomposition as a generic pruning technique |
273 | -- | 303 | Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret. Solving constraint satisfaction problems with SAT modulo theories |
304 | -- | 347 | Ruben Martins, Vasco M. Manquinho, Inês Lynce. An overview of parallel SAT solving |
348 | -- | 355 | Younes Mechqrane, Mohamed Wahbi, Christian Bessiere, El-Houssine Bouyakhf, Amnon Meisels, Roie Zivan. Corrigendum to "Min-domain retroactive ordering for asynchronous backtracking" |