1 paper
Panagiotis Lymperopoulos, Liping Liu
Finding Minimal Unsatisfiable Subsets (MUSes) of binary constraints is a common problem in infeasibility analysis of over-constrained systems. However, because of the exponential s…