Publications Login
Home List all
@inproceedings{abreu_sara09,
	author          = {Rui Abreu and Arjan van Gemund},
	title           = {A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis},
	booktitle       = {Proceedings of the Eighth Symposium on Abstraction Reformulation, and Approximation (SARA'09), Lake Arrowhead, California, US},
	year            = {2009},
	month           = {July},
	editor          = {Vadim Bulitko and Christopher Beck},
	project         = {TRADER},
	group           = {ES}
}