Belov, Anton; Lynce, Inês; Marques-Silva, Joao
(IOS Press, 2012)
Minimally Unsatisfiable Subformulas (MUS) find a wide
range of practical applications, including product configuration,
knowledge-based validation, and hardware and software
design and verification. MUSes also find ...