On Computing Minimum Unsatisfiable Cores (2003)

by I. Lynce , J. Marques-Silva
Citations:31 - 3 self