Fast, flexible MUS enumeration

@article{Liffiton2015FastFM,
  title={Fast, flexible MUS enumeration},
  author={Mark H. Liffiton and Alessandro Previti and Ammar Malik and Joao Marques-Silva},
  journal={Constraints},
  year={2015},
  volume={21},
  pages={223-250}
}
The problem of enumerating minimal unsatisfiable subsets (MUSes) of an infeasible constraint system is challenging due first to the complexity of computing even a single MUS and second to the potentially intractable number of MUSes an instance may contain. In the face of the latter issue, when complete enumeration is not feasible, a partial enumeration of MUSes can be valuable, ideally with a time cost for each MUS output no greater than that needed to extract a single MUS. Recently, two papers… CONTINUE READING
Highly Cited
This paper has 54 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.

55 Citations

010202015201620172018
Citations per Year
Semantic Scholar estimates that this publication has 55 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…