Login / Signup

Scoring Functions Based on Second Level Score for k-SAT with Long Clauses.

Shaowei CaiChuan LuoKaile Su
Published in: J. Artif. Intell. Res. (2014)
Keyphrases
  • scoring functions
  • scoring function
  • boolean satisfiability
  • similarity measure
  • search algorithm
  • search space
  • phase transition
  • satisfiability problem
  • active learning