On improving MUS extraction algorithms (2011)

by J Marques-Silva, I Lynce
Venue:In Proc. of SAT 2011