On Computing Minimum Unsatisfiable Cores (2003)

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