Publications Login
Home List all
@inproceedings{feldman09solving,
	author          = {Alexander Feldman and Gregory Provan and Arjan van Gemund},
	title           = {Solving Strong-Fault Diagnostic Models by Model Relaxation},
	booktitle       = {Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI'09) Pasadena, California, USA},
	year            = {2009},
	month           = {July},
	pages           = {785-790},
	group           = {ES}
}