Using Logic Programming for Fault Diagnosis in Digital Circuits.

Helmut Simonis, Mehmet Dincbas

Browse the full KI paper archive.