Diagnosing Sequential Circuits as Boolean Satisfaction

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

Institute of Software Technology (7160)

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

1 Conference or symposium (Participation in/Organisation of)
1 Talk at conference or symposium

2 results
- Title
- Start date(ascending)

30th International Workshop on Principles of Diagnosis, DX 2019
Ingo Pill (Participant)
10 Nov 2019 → 13 Nov 2019
Activity: Participation in or organisation of › Conference or symposium (Participation in/Organisation of)
Efficient Model-Based Diagnosis of Sequential Circuits
Ingo Pill (Speaker)
11 Nov 2019
Activity: Talk or presentation › Talk at conference or symposium › Science to science