SAT-Based Abductive Diagnosis

Research output: Contribution to conferencePosterResearch

Original languageEnglish
Publication statusPublished - 2015
Event27th International Workshop on Principles of Diagnosis - Denver, United States
Duration: 4 Oct 20167 Oct 2016
http://www.dx-2016.org

Conference

Conference27th International Workshop on Principles of Diagnosis
CountryUnited States
CityDenver
Period4/10/167/10/16
Internet address

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)

Cite this

Koitz, R. (2015). SAT-Based Abductive Diagnosis. Poster session presented at 27th International Workshop on Principles of Diagnosis, Denver, United States.