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

DOI10.1080/10020070612331343209zbMath1093.68140OpenAlexW2334950854MaRDI QIDQ2369262

Dantong Ouyang, Xiangfu Zhao

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)

Related Items (1)

Memory-limited model-based diagnosis

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