Pages that link to "Item:Q4407240"
From MaRDI portal
The following pages link to Consistent subsets of inconsistent systems: structure and behaviour (Q4407240):
Displayed 17 items.
- On the query complexity of selecting minimal sets for monotone predicates (Q253999) (← links)
- Quantified maximum satisfiability (Q272016) (← links)
- Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases (Q459042) (← links)
- A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas (Q1037642) (← links)
- A max-term counting based knowledge inconsistency checking strategy and inconsistency measure calculation of fuzzy knowledge based systems (Q1664711) (← links)
- Minimal sets on propositional formulae. Problems and reductions (Q1677431) (← links)
- SAT-based rigorous explanations for decision lists (Q2118305) (← links)
- Strong inconsistency (Q2321259) (← links)
- Iterative and core-guided maxsat solving: a survey and assessment (Q2348540) (← links)
- Algorithms for computing minimal unsatisfiable subsets of constraints (Q2471741) (← links)
- MCS Extraction with Sublinear Oracle Queries (Q2818026) (← links)
- BEACON: An Efficient SAT-Based Tool for Debugging $${\mathcal {EL}}{^+}$$ Ontologies (Q2818038) (← links)
- Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing (Q3453236) (← links)
- A New Approach to Partial MUS Enumeration (Q3453242) (← links)
- Generalizing Core-Guided Max-SAT (Q3637181) (← links)
- On Tackling Explanation Redundancy in Decision Trees (Q5041018) (← links)
- Another look at the phenomenon of phase transition (Q5704529) (← links)