A Novel SAT-Based Approach to Model Based Diagnosis

DOI10.1613/jair.4503zbMath1367.68266OpenAlexW2115436681MaRDI QIDQ2929583

Michael Codish, Roni Stern, Amit Metodi, Meir Kalech

Publication date: 13 November 2014

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1613/jair.4503

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (4)

Memory-limited model-based diagnosis ⋮ How many diagnoses do we need? ⋮ Batch repair actions for automated troubleshooting ⋮ Strong inconsistency

This page was built for publication: A Novel SAT-Based Approach to Model Based Diagnosis