Diagnosing Sequential Circuits as Boolean Satisfaction

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

Research output: Contribution to conference › Paper › peer-review

Original language	English
Number of pages	8
Publication status	Published - 2019
Event	30th International Workshop on Principles of Diagnosis, DX 2019 - Klagenfurt, Austria Duration: 11 Nov 2019 → … Conference number: 30 https://dx-workshop.org/2019/

Workshop	30th International Workshop on Principles of Diagnosis, DX 2019
Abbreviated title	DX 2019
Country/Territory	Austria
City	Klagenfurt
Period	11/11/19 → …
Internet address	https://dx-workshop.org/2019/

Fields of Expertise

@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

N1 - Conference code: 30

PY - 2019

Y1 - 2019

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

M3 - Paper

T2 - 30th International Workshop on Principles of Diagnosis, DX 2019

Y2 - 11 November 2019

ER -