UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT and MAX-SAT.

Dave A. D. Tompkins, Holger H. Hoos

Browse the full SAT paper archive.