Efficient Model Based Diagnosis with Maximum Satisfiability.

João Marques-Silva Mikolás Janota Alexey Ignatiev António Morgado

Published in: IJCAI (2015)

Keyphrases

model based diagnosis
model based reasoning
discrete event systems
repair actions
diagnostic reasoning
evolutionary algorithm
maximum satisfiability
physical systems