A Multi-Valued SAT-Based Algorithm for Faster Model-Based Diagnosis

AB Feldman, J Pietersma, A. van Gemund

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Original languageUndefined/Unknown
Title of host publicationProceedings of the Seventeenth International Workshop on Principles of Diagnosis (DX-06) Peñaranda de Duero, Burgos, Spain
EditorsCarlos Alo Gonz'ales, Teresa Escobert, Belarmino Pulido
Number of pages8
Publication statusPublished - 2006

Bibliographical note


Cite this