Heuristic-Based Backtracking for Propositional Satisfiability.

Ateet Bhalla, Ins Lynce, Jos T. de Sousa, Joo Marques-Silva

Browse the full EPIA paper archive.