Pages that link to "Item:Q3453219"
From MaRDI portal
The following pages link to Computing Maximal Autarkies with Few and Simple Oracle Queries (Q3453219):
Displaying 5 items.
- Counting minimal unsatisfiable subsets (Q832272) (← links)
- Minimal sets on propositional formulae. Problems and reductions (Q1677431) (← links)
- MCS Extraction with Sublinear Oracle Queries (Q2818026) (← links)
- Efficient Reasoning for Inconsistent Horn Formulae (Q2835881) (← links)
- Hashing-based approximate counting of minimal unsatisfiable subsets (Q6632194) (← links)