Diagnostic de systèmes à événements discrets à base de cohérence par SAT.
Alban Grastien AnbulaganPublished in: Rev. d'Intelligence Artif. (2010)
Keyphrases
- satisfiability problem
- diagnostic reasoning
- sat solvers
- expert systems
- ieee trans
- diagnostic imaging
- search algorithm
- disease diagnosis
- propositional satisfiability
- max sat
- medical diagnosis
- stochastic local search
- sat problem
- search strategies
- boolean satisfiability
- np complete
- diagnostic systems
- diagnostic tests
- medical images