Temporal Diagnosis of Discrete-Event Systems with Dual Knowledge Compilation.
Nicola BertoglioGianfranco LampertiMarina ZanellaPublished in: CD-MAKE (2019)
Keyphrases
- knowledge compilation
- product configuration
- diagnosis of discrete event systems
- prime implicates
- logical inference
- model counting
- temporal reasoning
- quantified boolean formulae
- decision support
- temporal information
- normal form
- temporal constraints
- polynomial size
- decomposable negation normal form
- management system
- horn formulas
- binary decision diagrams
- target language