A method of combining SE-tree to compute all minimal hitting sets (Q2369262)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A method of combining SE-tree to compute all minimal hitting sets |
scientific article |
Statements
A method of combining SE-tree to compute all minimal hitting sets (English)
0 references
3 May 2006
0 references
model-based diagnosis
0 references
conflict set
0 references
minimal hitting set
0 references
set enumeration tree
0 references
