Designing New Phase Selection Heuristics.

Arijit Shaw, Kuldeep S. Meel

Browse the full SAT paper archive.