On Computing the Union of MUSes.

Carlos Menca, Oliver Kullmann, Alexey Ignatiev, Joo Marques-Silva

Browse the full SAT paper archive.