Paolo Pogliano;Luisella Riccardi
-;-
Model-Based diagnosis through OBDD compilation: a complexity analysis
Reasoning, Action and Interaction in AI Theories and Systems