Efficient All-UIP Learned Clause Minimization.

Mathias Fleury, Armin Biere

Browse the full SAT paper archive.