Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability.

Enrico Giunchiglia, Marco Maratea, Armando Tacchella, Davide Zambonin

Browse the full CADE paper archive.