Original language | English |
---|---|
Title of host publication | 30th International Workshop on Principles of Diagnosis (DX'19, Nov.11-13) |
Publication status | Published - 2019 |
Diagnosing Sequential Circuits as Boolean Satisfaction
Alexander Feldman, Ingo Pill, Franz Wotawa, Ion Matei, Johan de Kleer
Research output: Conference proceeding/Chapter in Book/Report/ › Conference Paper › peer-review