Using Minimal Correction Sets to More Efficiently Compute Minimal Unsatisfiable Sets
Abstract elided by the publisher.
Related papers
- MUST: Minimal Unsatisfiable Subsets Enumeration Tool TACAS 2020
- Approximate Counting of Minimal Unsatisfiable Subsets CAV 2020
- Counting Minimal Unsatisfiable Subsets CAV 2021
- Minimizing Counterexample with Unit Core Extraction and Incremental SAT VMCAI 2005
- Fast Coalgebraic Bisimilarity Minimization POPL 2023
- Spill Code Minimization Techniques for Optimizing Compilers PLDI 1989
- Unsatisfiability Proofs for Horn Solving TACAS 2025
- Minimal-Time Synthesis for Parametric Timed Automata TACAS 2019