Variable Ordering for Efficient SAT Search by Analyzing Constraint-Variable Dependencies.

Vijay Durairaj, Priyank Kalla

Browse the full SAT paper archive.