1. Predicting and Detecting Symmetries in FOL Finite Model Search

   • Gilles Audemard
   • Belaïd Benhamou
   • Laurent Henocque

   OriginalPaper 01 December 2006 Pages: 177 - 212

2. Deciding Boolean Algebra with Presburger Arithmetic

   • Viktor Kuncak
   • Huu Hai Nguyen
   • Martin Rinard

   OriginalPaper 13 October 2006 Pages: 213 - 239

3. Searching for Shortest Single Axioms for Groups of Exponent 6

   • Nick C. Fiala
   • Keith M. Agre

   OriginalPaper 11 October 2006 Pages: 241 - 257

4. Explaining Gabriel–Zisman Localization to the Computer

   • Carlos Simpson

   OriginalPaper 06 December 2006 Pages: 259 - 285