A method of combining SE-tree to compute all minimal hitting sets

DOI10.1080/10020070612331343209MaRDI QIDQ2369262zbMATH OpenOpenAlexFDO

Authors Xiangfu Zhao, Dantong Ouyang

Publication date 3 May 2006

Published in Progress in Natural Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/10020070612331343209

zbMATH Keywords

model-based diagnosisconflict setminimal hitting setset enumeration tree

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Recommendations

• A new method of computing hitting sets applied to diagnosis generation
• The computation of hitting sets: Review and new algorithms
• scientific article; zbMATH DE number 2114142
• Diagnosing tree-structured systems
• Computing minimal hitting sets with a genetic algorithm

Cited in

(4)

• Memory-limited model-based diagnosis
• A new method of computing hitting sets applied to diagnosis generation
• The computation of hitting sets: Review and new algorithms
• scientific article; zbMATH DE number 2114142 (Why is no real title available?)

This page was built for publication: A method of combining SE-tree to compute all minimal hitting sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2369262)