Guiding High-Performance SAT Solvers with Unsat-Core Predictions.

Daniel Selsam, Nikolaj S. Bjrner

Browse the full SAT paper archive.