Computing Smallest MUSes of Quantified Boolean Formulas.

Andreas Niskanen, Jere Mustonen, Jeremias Berg, Matti Jrvisalo

Browse the full LPNMR paper archive.