van Gemund, Arjan J. C., Delft University of Technology, Netherlands
-
Eighth Symposium on Abstraction, Reformulation, and Approximation - Long Papers
A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis
Abstract PDF