Post-Failure Reconfiguration of CSP Programs.
Sol M. ShatzPublished in: IEEE Trans. Software Eng. (1985)
Keyphrases
- constraint satisfaction problems
- failure prediction
- manufacturing systems
- arc consistency
- np hard
- constraint propagation
- real time
- provably correct
- case study
- fixpoint
- decomposition methods
- np complete
- search space
- non binary
- decomposition method
- failure rate
- tree decomposition
- automatic programming
- genetic algorithm