Using Incremental SAT for Testing Diagnosability of Distributed DES.

Hassan Ibrahim Philippe Dague Laurent Simon

Published in: DX (2015)

Keyphrases

distributed environment
search algorithm
distributed systems
fault diagnosis
cooperative
multi agent
data sets
computer networks
fault tolerant
discrete event
knowledge base
heuristic search
incremental learning
sat solvers
max sat
stochastic local search algorithms