Pages that link to "Item:Q1321062"
From MaRDI portal
The following pages link to A theory of measurement in diagnosis from first principles (Q1321062):
Displaying 14 items.
- Fast, flexible MUS enumeration (Q272009) (← links)
- A quantum walk-assisted approximate algorithm for bounded NP optimisation problems (Q669949) (← links)
- The computation of hitting sets: Review and new algorithms (Q1007596) (← links)
- Diagnosing multiple faults (Q1101418) (← links)
- A theory of diagnosis from first principles (Q1102126) (← links)
- A correction to the algorithm in Reiter's theory of diagnosis (Q1124378) (← links)
- Elements of the diagnostic theory of tolerance and similarity (Q1320805) (← links)
- A heuristic extension to Reiter's diagnostic theory (Q1375877) (← links)
- Comments on the theory of measurement in diagnosis from first principles (Q1971774) (← links)
- Clause redundancy and preprocessing in maximum satisfiability (Q2104499) (← links)
- How many diagnoses do we need? (Q2407458) (← links)
- A New Approach to Partial MUS Enumeration (Q3453242) (← links)
- Functional diagnosis and prescription of measurements using effort and flow variables (Q4859786) (← links)
- FMUS2: An Efficient Algorithm to Compute Minimal Unsatisfiable Subsets (Q6108818) (← links)