Solving Model-Based Diagnosis Problems with Max-SAT Solvers and Vice Versa
Conference Paper
(2010)
Author(s)
AB Feldman (TU Delft - Data-Intensive Systems)
G. Provan (External organisation)
J de Kleer (External organisation)
S Robert (External organisation)
AJC van Gemund (TU Delft - Data-Intensive Systems)
Research Group
Data-Intensive Systems
To reference this document use:
https://resolver.tudelft.nl/uuid:18ab16fe-8eb4-4530-9834-81f2e1e6e05b
More Info
expand_more
expand_more
Publication Year
2010
Language
English
Research Group
Data-Intensive Systems
Pages (from-to)
1-8
No files available
Metadata only record. There are no files for this record.