Chronological Backtracking Versus Formal Methods for Solving CSPs.
Malek MouhoubSamira SadaouiAmrudee SukpanPublished in: IC-AI (2003)
Keyphrases
- formal methods
- chronological backtracking
- constraint satisfaction problems
- model checking
- knowledge based systems
- safety critical
- formal specification
- backtracking algorithm
- constraint problems
- artificial intelligence
- constraint satisfaction
- partial constraint satisfaction
- product configuration
- modeling language
- software engineering
- distributed constraint satisfaction problems
- formal specification language
- combinatorial optimization
- building blocks
- search space