On Efficient Computation of Variable MUSes.

Anton Belov, Alexander Ivrii, Arie Matsliah, Joo Marques-Silva

Browse the full SAT paper archive.