Login / Signup

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

Dave A. D. TompkinsHolger H. Hoos
Published in: SAT (2010)
Keyphrases
  • stochastic local search
  • scoring functions
  • search algorithm
  • active learning
  • combinatorial optimization
  • scoring function