Publications Login
Home List all
@inproceedings{,
	author          = {A. Feldman and G. Provan and J. de Kleer and S. Robert and A.J.C. van Gemund},
	title           = {Solving Model-Based Diagnosis Problems with Max-SAT Solvers and Vice Versa},
	booktitle       = {Proc. 21st International Workshop on the Principles of Diagnosis (DX'10)},
	year            = {2010},
	month           = {Oct},
	group           = {ES}
}