Some Computational Aspects of distance-sat Olivier BailleuxPierre Marquis OriginalPaper 10 January 2007 Pages: 231 - 260
An Efficient Approach to Solving Random k-sat Problems Gilles DequenOlivier Dubois OriginalPaper 20 October 2006 Pages: 261 - 276
The Calculus of Relations as a Foundation for Mathematics Steven Givant OriginalPaper 02 February 2007 Pages: 277 - 322
Tree Tuple Languages from the Logic Programming Point of View Sébastien LimetGernot Salzer OriginalPaper 25 January 2007 Pages: 323 - 349