Model-Based Analogue Circuit Diagnosis with CLP(R).

Igor Mozetic, Christian Holzbaur, Franc Novak, Marina Santo Zarnik

Browse the full WI paper archive.