The computation of hitting sets: Review and new algorithms

DOI10.1016/S0020-0190(02)00506-9MaRDI QIDQ1007596zbMATH OpenOpenAlexFDO

Authors Li Lin, Yunfei Jiang

Publication date 23 March 2009

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

Full work available at URL https://doi.org/10.1016/s0020-0190(02)00506-9

zbMATH Keywords

algorithmshitting setmodel-based diagnosisBHS-treeBoolean algebraic algorithmsset cluster

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05)

Recommendations

• A new method of computing hitting sets applied to diagnosis generation
• A method of combining SE-tree to compute all minimal hitting sets
• A variant of Reiter's hitting-set algorithm
• The minimal hitting set generation problem: algorithms and computation
• Computing minimal hitting sets with a genetic algorithm

Cites work

• A correction to the algorithm in Reiter's theory of diagnosis
• A theory of diagnosis from first principles
• A theory of measurement in diagnosis from first principles
• A variant of Reiter's hitting-set algorithm
• Minimal approximate hitting sets and rule templates

Cited in

(12)

• Memory-limited model-based diagnosis
• A new method of computing hitting sets applied to diagnosis generation
• Bases and dimension of vector spaces over lattices
• A method of combining SE-tree to compute all minimal hitting sets
• Computational aspects of monotone dualization: a brief survey
• scientific article; zbMATH DE number 2114142 (Why is no real title available?)
• Hitting sets for multilinear read-once algebraic branching programs, in any order
• How to apply SAT-solving for the equivalence test of monotone normal forms
• A variant of Reiter's hitting-set algorithm
• Computing minimal hitting sets with a genetic algorithm
• Optimizations for the Boolean approach to computing minimal hitting sets
• The minimal hitting set generation problem: algorithms and computation

This page was built for publication: The computation of hitting sets: Review and new algorithms

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