MUP
From MaRDI portal
Software:23846
swMATH11910MaRDI QIDQ23846FDOQ23846
Author name not available (Why is that?)
Cited In (15)
- On Improving MUS Extraction Algorithms
- Extracting unsatisfiable cores for LTL via temporal resolution
- Resolution proof transformation for compression and interpolation
- Theory and Applications of Satisfiability Testing
- Theory and Applications of Satisfiability Testing
- A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas
- A Scalable Algorithm for Minimal Unsatisfiable Core Extraction
- Does This Set of Clauses Overlap with at Least One MUS?
- Improved Single Pass Algorithms for Resolution Proof Reduction
- Algorithms for computing minimal unsatisfiable subsets of constraints
- An approach for extracting a small unsatisfiable core
- Using heuristics to find minimal unsatisfiable subformulas in satisfiability problems
- Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories
- Local-search extraction of mUSes
- A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories
This page was built for software: MUP
