Computing Smallest MUSes of Quantified Boolean Formulas. - Andreas Niskanen; Jere Mustonen; Jeremias Berg; Matti Järvisalo (LPNMR, 2022)