Centrality-Based Improvements to CDCL Heuristics.

Sima Jamali, David Mitchell

Browse the full SAT paper archive.