The following pages link to Local-search extraction of mUSes (Q2385174):
Displaying 10 items.
- Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases (Q459042) (← links)
- Resolution proof transformation for compression and interpolation (Q479815) (← links)
- An approach for extracting a small unsatisfiable core (Q1028724) (← links)
- A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas (Q1037642) (← links)
- On Improving MUS Extraction Algorithms (Q3007681) (← links)
- THE LANDSCAPE OF INCONSISTENCY: A PERSPECTIVE (Q3225378) (← links)
- A FRAMEWORK FOR HANDLING LOGICAL INCONSISTENCIES IN THE FUSION OF BOOLEAN KNOWLEDGE BASES (Q3225383) (← links)
- Finding Guaranteed MUSes Fast (Q3502716) (← links)
- MUST: Provide a Finer-Grained Explanation of Unsatisfiability (Q3523066) (← links)
- Does This Set of Clauses Overlap with at Least One MUS? (Q5191099) (← links)
