Standard

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 volumeConference contributionScientificpeer-review

Harvard

Feldman, AB, Pietersma, J & van Gemund, A 2006, A Multi-Valued SAT-Based Algorithm for Faster Model-Based Diagnosis. in CA Gonz'ales, T Escobert & B Pulido (eds), Proceedings of the Seventeenth International Workshop on Principles of Diagnosis (DX-06) Peñaranda de Duero, Burgos, Spain. pp. 93-100.

APA

Feldman, AB., Pietersma, J., & van Gemund, A. (2006). A Multi-Valued SAT-Based Algorithm for Faster Model-Based Diagnosis. In C. A. Gonz'ales, T. Escobert, & B. Pulido (Eds.), Proceedings of the Seventeenth International Workshop on Principles of Diagnosis (DX-06) Peñaranda de Duero, Burgos, Spain (pp. 93-100)

Vancouver

Feldman AB, Pietersma J, van Gemund A. A Multi-Valued SAT-Based Algorithm for Faster Model-Based Diagnosis. In Gonz'ales CA, Escobert T, Pulido B, editors, Proceedings of the Seventeenth International Workshop on Principles of Diagnosis (DX-06) Peñaranda de Duero, Burgos, Spain. 2006. p. 93-100

Author

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

BibTeX

@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",

}

RIS

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 -

ID: 3415202