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