UBCSAT: An implementation and experimentation environment for SLS algorithms for SAT and MAX-SAT (2004)

by Dave A. D. Tompkins , Holger H. Hoos
Venue:In SAT
Citations:53 - 15 self