Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API.

Florian Lonsing, Uwe Egly

Browse the full SAT paper archive.