Efficient Model-Based Diagnosis of Sequential Circuits.

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

Browse the full AAAI paper archive.