Conflict driven learning in a quantified Boolean Satisfiability solver.

Lintao Zhang, Sharad Malik

Browse the full ICCAD paper archive.