Evaluating CDCL Variable Scoring Schemes.

Armin Biere, Andreas Frhlich

Browse the full SAT paper archive.