Volume 4, Number 1, April 2008
Miguel F. Anjos
: An Extended Semidefinite Relaxation for Satisfiability.
: SAT Algorithms for Colouring Some Special Classes of Graphs: Some Theoretical and Experimental Results.
Volume 4, Number 2-4, September 2008 Special Issue on the 2007 Competitions
: tts: A SAT-Solver for Small, Difficult Instances.