Predicting and Detecting Symmetries in FOL Finite Model Search Gilles AudemardBelaïd BenhamouLaurent Henocque OriginalPaper 01 December 2006 Pages: 177 - 212
Deciding Boolean Algebra with Presburger Arithmetic Viktor KuncakHuu Hai NguyenMartin Rinard OriginalPaper 13 October 2006 Pages: 213 - 239
Searching for Shortest Single Axioms for Groups of Exponent 6 Nick C. FialaKeith M. Agre OriginalPaper 11 October 2006 Pages: 241 - 257
Explaining Gabriel–Zisman Localization to the Computer Carlos Simpson OriginalPaper 06 December 2006 Pages: 259 - 285