On computing minimum unsatisfiable cores (2004)

by I Lynce, J P M Silva
Venue:In International Conference on Theory and Applications of Satisfiability Testing