Symposium on Abstraction, Reformulation, and Approximation
Eighth Symposium on Abstraction, Reformulation, and Approximation

Presentations

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

Abreu, van Gemund




Search conference
Close