Decision levels are stable: towards better SAT heuristics.

Robert Nieuwenhuis, Adri Lozano, Albert Oliveras, Enric Rodrguez-Carbonell

Browse the full LPAR paper archive.