A variant of Reiter's hitting-set algorithm

DOI10.1016/S0020-0190(00)00166-6zbMath0998.68220WikidataQ127179035 ScholiaQ127179035MaRDI QIDQ1603435

Franz Wotawa

Publication date: 14 July 2002

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

algorithmsmodel-based diagnosishitting-set algorithm

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05)

Related Items (6)

Memory-limited model-based diagnosis ⋮ Bases and dimension of vector spaces over lattices ⋮ The Minimal Hitting Set Generation Problem: Algorithms and Computation ⋮ Computational aspects of monotone dualization: a brief survey ⋮ Fault tolerance evaluation based on the lattice of system configurations ⋮ The computation of hitting sets: Review and new algorithms

Uses Software

• Ltur

Cites Work

• Diagnosing multiple faults
• A theory of diagnosis from first principles
• LTUR: A simplified linear-time unit resolution algorithm for Horn formulae and computer implementation
• A correction to the algorithm in Reiter's theory of diagnosis
• Diagnosing tree-structured systems

This page was built for publication: A variant of Reiter's hitting-set algorithm