Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing

Published in 18th International Conference on Theory and Applications of Satisfiability Testing (SAT 2015), 2015

Recommended citation: M. Fareed Arif, and Carlos Mencia and Joao Marques-Silva, KI 2015

Download Paper

 @inproceedings{arif2015efficient,
  title={Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing},
  author={Arif, M Fareed and Menc{\'\i}a, Carlos and Marques-Silva, Joao},
  booktitle={International Conference on Theory and Applications of Satisfiability Testing},
  pages={324--342},
  year={2015},
  organization={Springer}
}