Login / Signup

Model-based diagnosis with default information implemented through MAX-SAT technology.

Dominique D'AlmeidaÉric Grégoire
Published in: IRI (2012)
Keyphrases
  • model based diagnosis
  • dynamic systems
  • linear programming
  • computer systems
  • np hard
  • decision makers