Diagnosing Sequential Circuits as Boolean Satisfaction

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

Institut für Softwaretechnologie (7160)

Publikation: Konferenzbeitrag › Paper › Begutachtung

1 Konferenz oder Fachtagung (Teilnahme an/Organisation von)
1 Vortrag bei Konferenz oder Fachtagung

2 Ergebnisse
- Titel
- Startdatum(aufsteigend)

30th International Workshop on Principles of Diagnosis, DX 2019
Ingo Pill (Teilnehmer/-in)
10 Nov. 2019 → 13 Nov. 2019
Aktivität: Teilnahme an / Organisation von › Konferenz oder Fachtagung (Teilnahme an/Organisation von)
Efficient Model-Based Diagnosis of Sequential Circuits
Ingo Pill (Redner/in)
11 Nov. 2019
Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science