On computing minimum unsatisfiable cores (2004)

by I Lynce, J MarquesSilva
Venue:In Proceedings of SAT’04