Author:
Belov Anton,Ivrii Alexander,Matsliah Arie,Marques-Silva Joao
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Belov, A., Marques-Silva, J.: Accelerating MUS extraction with recursive model rotation. In: Formal Methods in Computer-Aided Design (2011)
2. Lecture Notes in Computer Science;A. Belov,2011
3. Biere, A.: Picosat essentials. Journal on Satisfiability, Boolean Modeling and Computation 4, 75–97 (2008)
4. Lecture Notes in Computer Science;Z. Chen,2006
5. Chen, Z.-Y., Tao, Z.-H., Büning, H.K., Wang, L.-F.: Applying variable minimal unsatisfiability in model checking. Journal of Software 19(1), 39–47 (2008)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Computing MUS-Based Inconsistency Measures;Logics in Artificial Intelligence;2023
2. Definability for model counting;Artificial Intelligence;2020-04
3. Speeding up MUS Extraction with Preprocessing and Chunking;Lecture Notes in Computer Science;2015
4. Formula Preprocessing in MUS Extraction;Tools and Algorithms for the Construction and Analysis of Systems;2013
5. MUStICCa: MUS Extraction with Interactive Choice of Candidates;Theory and Applications of Satisfiability Testing – SAT 2013;2013