| 415 | -- | 442 | Mark H. Liffiton, Maher N. Mneimneh, Inês Lynce, Zaher S. Andraus, João Marques-Silva, Karem A. Sakallah. A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas |
| 443 | -- | 477 | Christopher Mears, Maria Garcia de la Banda, Marc Wallace. On implementing symmetry detection |
| 478 | -- | 505 | Ashish Sabharwal. SymChaff: exploiting symmetry in a structure-aware satisfiability solver |
| 506 | -- | 538 | Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, Magnus Ã…gren. Dynamic structural symmetry breaking for constraint satisfaction problems |
| 539 | -- | 581 | Peter Nightingale. Non-binary quantified CSP: algorithms and modelling |