Towards efficient MUS extraction
Anton Belov, Inês Lynce, João P. Marques-Silva · AI Communications · 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 application in recent Maximum Satis