Abreu, Rui, 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