Diagnosing Sequential Circuits as Boolean Satisfaction

Alexander Feldman, Ingo Pill, Franz Wotawa, Ion Matei, Johan de Kleer

Research output: Contribution to conferencePaperResearchpeer-review

Original languageEnglish
Number of pages8
Publication statusPublished - 2019
Event30th International Workshop on Principles of Diagnosis, DX 2019 - Klagenfurt, Austria
Duration: 11 Nov 2019 → …
Conference number: 30
https://dx-workshop.org/2019/

Workshop

Workshop30th International Workshop on Principles of Diagnosis, DX 2019
Abbreviated titleDX 2019
CountryAustria
CityKlagenfurt
Period11/11/19 → …
Internet address

Fields of Expertise

  • Information, Communication & Computing

Cite this

Feldman, A., Pill, I., Wotawa, F., Matei, I., & de Kleer, J. (2019). Diagnosing Sequential Circuits as Boolean Satisfaction. Paper presented at 30th International Workshop on Principles of Diagnosis, DX 2019, Klagenfurt, Austria.

Diagnosing Sequential Circuits as Boolean Satisfaction. / Feldman, Alexander; Pill, Ingo; Wotawa, Franz; Matei, Ion; de Kleer, Johan.

2019. Paper presented at 30th International Workshop on Principles of Diagnosis, DX 2019, Klagenfurt, Austria.

Research output: Contribution to conferencePaperResearchpeer-review

Feldman, A, Pill, I, Wotawa, F, Matei, I & de Kleer, J 2019, 'Diagnosing Sequential Circuits as Boolean Satisfaction' Paper presented at 30th International Workshop on Principles of Diagnosis, DX 2019, Klagenfurt, Austria, 11/11/19, .
Feldman A, Pill I, Wotawa F, Matei I, de Kleer J. Diagnosing Sequential Circuits as Boolean Satisfaction. 2019. Paper presented at 30th International Workshop on Principles of Diagnosis, DX 2019, Klagenfurt, Austria.
Feldman, Alexander ; Pill, Ingo ; Wotawa, Franz ; Matei, Ion ; de Kleer, Johan. / Diagnosing Sequential Circuits as Boolean Satisfaction. Paper presented at 30th International Workshop on Principles of Diagnosis, DX 2019, Klagenfurt, Austria.8 p.
@conference{f3dae59f16614529b38ce001f8d16d47,
title = "Diagnosing Sequential Circuits as Boolean Satisfaction",
author = "Alexander Feldman and Ingo Pill and Franz Wotawa and Ion Matei and {de Kleer}, Johan",
year = "2019",
language = "English",
note = "30th International Workshop on Principles of Diagnosis, DX 2019, DX 2019 ; Conference date: 11-11-2019",
url = "https://dx-workshop.org/2019/",

}

TY - CONF

T1 - Diagnosing Sequential Circuits as Boolean Satisfaction

AU - Feldman, Alexander

AU - Pill, Ingo

AU - Wotawa, Franz

AU - Matei, Ion

AU - de Kleer, Johan

PY - 2019

Y1 - 2019

UR - https://dx-workshop.org/2019/accepted-papers/

M3 - Paper

ER -