Publications Login
Home List all
@inproceedings{abreu_dx09s,
	author          = {Rui Abreu and Arjan J.C. van Gemund},
	title           = {Statistics-directed Minimal Hitting Set Algorithm},
	booktitle       = {Proceedings of the Twentieth International Workshop on Principles of Diagnosis (DX'09), Stockholm Sweden},
	year            = {2009},
	month           = {June},
	editor          = {Erik Frisk and Mattias Nyberg and Mattias Krysander and Jan ├ůslund},
	pages           = {51-58},
	project         = {TRADER},
	group           = {ES}
}