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 Paperpeer-review

    Original languageEnglish
    Title of host publication 30th International Workshop on Principles of Diagnosis (DX'19, Nov.11-13)
    Publication statusPublished - 2019

    Cite this