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

by D A D Tompkins, H H Hoos
Venue:In Proceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT’04