Boost SAT Solver with Hybrid Branching Heuristic.

Seongsoo Moon, Mary Inaba

Browse the full SoCS paper archive.