Evaluating CDCL Restart Schemes.

Armin Biere, Andreas Frhlich

Browse the full SAT paper archive.