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

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} }