1. A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas

   • Mark Liffiton
   • Maher Mneimneh
   • Karem Sakallah

   OriginalPaper 05 August 2008 Pages: 415 - 442

2. On implementing symmetry detection

   • C. Mears
   • M. Garcia de la Banda
   • M. Wallace

   OriginalPaper 23 July 2008 Pages: 443 - 477

3. SymChaff: exploiting symmetry in a structure-aware satisfiability solver

   • Ashish Sabharwal

   OriginalPaper 09 October 2008 Pages: 478 - 505

4. Dynamic structural symmetry breaking for constraint satisfaction problems

   • Pierre Flener
   • Justin Pearson
   • Magnus Ågren

   OriginalPaper 30 September 2008 Pages: 506 - 538

5. Non-binary quantified CSP: algorithms and modelling

   • Peter Nightingale

   OriginalPaper 21 January 2009 Pages: 539 - 581