Pages that link to "Item:Q832272"
From MaRDI portal
The following pages link to Counting minimal unsatisfiable subsets (Q832272):
Displaying 6 items.
- Calculating the minimal number of homogeneous objects to represent a plurality in a heterogeneous system of objects (Q1827291) (← links)
- Minimal enumerations of subsets of a finite set and the middle level problem (Q5954085) (← links)
- ASP and subset minimality: enumeration, cautious reasoning and MUSes (Q6103676) (← links)
- Boolean abstractions for realizability modulo theories (Q6535690) (← links)
- Computing MUS-based inconsistency measures (Q6545579) (← links)
- Hashing-based approximate counting of minimal unsatisfiable subsets (Q6632194) (← links)