A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis

Abstract

Generating minimal hitting sets of a collection of sets is known to be NP-hard, necessitating heuristic approaches to handle large problems. In this paper a low-cost, approximate minimal hitting set (MHS) algorithm, coined STACCATO, is presented. STACCATO uses a heuristic function, borrowed from a lightweight, statistics-based software fault localization… (More)

Topics

3 Figures and Tables

Statistics

050100150201520162017
Citations per Year

Citation Velocity: 41

Averaging 41 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.

Cite this paper

@inproceedings{Abreu2009ALA, title={A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis}, author={Rui Abreu and Arjan J. C. van Gemund}, booktitle={SARA}, year={2009} }