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

AB Feldman; J Pietersma; A. van Gemund

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

AB Feldman, J Pietersma, A. van Gemund

Software Engineering

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

Original language	Undefined/Unknown
Title of host publication	Proceedings of the Seventeenth International Workshop on Principles of Diagnosis (DX-06) Peñaranda de Duero, Burgos, Spain
Editors	Carlos Alo Gonz'ales, Teresa Escobert, Belarmino Pulido
Pages	93-100
Number of pages	8
Publication status	Published - 2006

Bibliographical note

feldman06multi

Cite this

@inproceedings{b8ab7cfeffd84af88cbb07ff17fc5e38,

title = "A Multi-Valued SAT-Based Algorithm for Faster Model-Based Diagnosis",

author = "AB Feldman and J Pietersma and {van Gemund}, A.",

note = "feldman06multi",

year = "2006",

language = "Undefined/Unknown",

pages = "93--100",

editor = "Gonz'ales, {Carlos Alo} and Teresa Escobert and Belarmino Pulido",

booktitle = "Proceedings of the Seventeenth International Workshop on Principles of Diagnosis (DX-06) Pe{\~n}aranda de Duero, Burgos, Spain",

}

A Multi-Valued SAT-Based Algorithm for Faster Model-Based Diagnosis. / Feldman, AB; Pietersma, J; van Gemund, A.
Proceedings of the Seventeenth International Workshop on Principles of Diagnosis (DX-06) Peñaranda de Duero, Burgos, Spain. ed. / Carlos Alo Gonz'ales; Teresa Escobert; Belarmino Pulido. 2006. p. 93-100.

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

TY - GEN

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

AU - Feldman, AB

AU - Pietersma, J

AU - van Gemund, A.

N1 - feldman06multi

PY - 2006

Y1 - 2006

M3 - Conference contribution

SP - 93

EP - 100

BT - Proceedings of the Seventeenth International Workshop on Principles of Diagnosis (DX-06) Peñaranda de Duero, Burgos, Spain

A2 - Gonz'ales, Carlos Alo

A2 - Escobert, Teresa

A2 - Pulido, Belarmino

ER -