CLPS-B - A Constraint Solver for B.
Fabrice BouquetBruno LegeardFabien PeureuxPublished in: TACAS (2002)
Keyphrases
- constraint solver
- constraint solving
- constraint programming
- constraint propagation
- linear constraints
- constraint satisfaction problems
- constraint satisfaction
- real numbers
- constraint logic programming
- sat solvers
- constraint solvers
- finite domain
- arc consistency algorithm
- image sequences
- search strategies
- np complete
- state space
- pattern recognition