SAT-Based Abductive Diagnosis

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings of the 26th International Workshop on Principles of Diagnosis (DX)
Publisher.
Pages167-175
Publication statusPublished - 2015
EventInternational Workshop on Principles of Diagnosis - Paris, France
Duration: 31 Aug 20153 Sep 2015

Conference

ConferenceInternational Workshop on Principles of Diagnosis
CountryFrance
CityParis
Period31/08/153/09/15

Fields of Expertise

  • Information, Communication & Computing

Cite this