An ASP-Based Framework for MUSes

Mohimenul Kabir, Kuldeep S Meel

Given an unsatisfiable formula, understanding the core reason for unsatisfiability is crucial in several applications. One effective way to capture this is through the minimal unsa…