QMusExt: A Minimal (Un)satisfiable Core Extractor for Quantified Boolean Formulas.

Andreas Plank, Martina Seidl

Browse the full SAT paper archive.