@inproceedings{feldman06multi,
	author          = {Alexander Feldman and Jurryt Pietersma and Arjan van Gemund},
	title           = {A Multi-Valued {SAT}-Based Algorithm for Faster Model-Based Diagnosis},
	booktitle       = {Proceedings of the Seventeenth International Workshop on Principles of Diagnosis (DX-06) Pe~{n}aranda de Duero, Burgos, Spain},
	year            = {2006},
	month           = {June},
	editor          = {Carlos Alonso Gonz'ales and Teresa Escobert and Belarmino Pulido},
	pages           = {93--100},
	location        = {Pe naranda de Duero, Burgos, Spain},
	url             = {http://www.gsi.infor.uva.es/dx06/documentacion/Proceedings.pdf#page=105},
	topic           = {Model-Based Diagnosis},
	group           = {SE}
}