Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability. - Enrico Giunchiglia; Marco Maratea; Armando Tacchella; Davide Zambonin (IJCAR, 2001)