Pages that link to "Item:Q5756585"
From MaRDI portal
The following pages link to A Scalable Algorithm for Minimal Unsatisfiable Core Extraction (Q5756585):
Displaying 5 items.
- Towards a notion of unsatisfiable and unrealizable cores for LTL (Q433349) (← links)
- Explaining counterexamples using causality (Q453516) (← links)
- Algorithms for computing minimal equivalent subformulas (Q460638) (← links)
- Resolution proof transformation for compression and interpolation (Q479815) (← links)
- An approach for extracting a small unsatisfiable core (Q1028724) (← links)
