Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT.

Dave A. D. Tompkins, Holger H. Hoos

Browse the full SAT paper archive.