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

by Dave A. D. Tompkins , Holger H. Hoos
Citations:6 - 2 self