A novel structure-exploiting encoding for SAT-based diagnosis.

Sajjad Ahmed Siddiqi

Published in: J. Exp. Theor. Artif. Intell. (2024)

Keyphrases

data sets
fault diagnosis
graph structure
answer set programming
model based diagnosis
fault detection
constraint solver
multiple faults