A Multi-Valued SAT-Based Algorithm for Faster Model-Based Diagnosis
Conference Paper
(2006)
Author(s)
AB Feldman (TU Delft - Software Engineering)
J Pietersma (TU Delft - Software Engineering)
A. van Gemund (External organisation)
Research Group
Software Engineering
To reference this document use:
https://resolver.tudelft.nl/uuid:b8ab7cfe-ffd8-4af8-8cbb-07ff17fc5e38
More Info
expand_more
expand_more
Publication Year
2006
Research Group
Software Engineering
Bibliographical Note
feldman06multi@en
Pages (from-to)
93-100
No files available
Metadata only record. There are no files for this record.