Pages that link to "Item:Q1042194"
From MaRDI portal
The following pages link to Using local search to find MSSes and MUSes (Q1042194):
Displayed 12 items.
- Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases (Q459042) (← links)
- On semidefinite least squares and minimal unsatisfiability (Q516798) (← links)
- On the measure of conflicts: Shapley inconsistency values (Q622103) (← links)
- A syntax-based approach to measuring the degree of inconsistency for belief bases (Q648367) (← links)
- Using inconsistency measures for estimating reliability (Q1680689) (← links)
- Accelerating predicate abstraction by minimum unsatisfiable cores extraction (Q1980482) (← links)
- Satisfiability by Maxwell-Boltzmann and Bose-Einstein Statistical Distributions (Q2828180) (← links)
- On Improving MUS Extraction Algorithms (Q3007681) (← links)
- THE LANDSCAPE OF INCONSISTENCY: A PERSPECTIVE (Q3225378) (← links)
- MEASURING INCONSISTENCY IN A NETWORK INTRUSION DETECTION RULE SET BASED ON SNORT (Q3225382) (← links)
- A FRAMEWORK FOR HANDLING LOGICAL INCONSISTENCIES IN THE FUSION OF BOOLEAN KNOWLEDGE BASES (Q3225383) (← links)
- Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores (Q5015593) (← links)