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 |
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 volume › Conference contribution › Scientific › peer-review