Accelerating MUS extraction with recursive model rotation

@article{Belov2011AcceleratingME,
  title={Accelerating MUS extraction with recursive model rotation},
  author={Anton Belov and Joao Marques-Silva},
  journal={2011 Formal Methods in Computer-Aided Design (FMCAD)},
  year={2011},
  pages={37-40}
}
Minimally Unsatisfiable Subformulas (MUSes) find a wide range of practical applications. A large number of MUS extraction algorithms have been proposed over the last decade, and most of these algorithms are based on iterative calls to a SAT solver. In this paper we introduce a powerful technique for acceleration of MUS extraction algorithms called recursive model rotation — a recursive version of the recently proposed model rotation technique. We demonstrate empirically that recursive model… CONTINUE READING
Highly Cited
This paper has 39 citations. REVIEW CITATIONS

Similar Papers

Loading similar papers…