Using CSP to Verify Sequential Consistency.
Gavin LoweJim DaviesPublished in: Distributed Comput. (1999)
Keyphrases
- constraint satisfaction problems
- constraint networks
- path consistency
- constraint problems
- weighted constraint satisfaction
- global constraints
- max csp
- disjunctive constraints
- constraint programming
- consistency checking
- constraint graph
- tree decomposition
- arc consistency
- decomposition methods
- search space
- constraint propagation
- databases
- maintaining arc consistency
- data mining
- global consistency
- constraint solving
- genetic algorithm
- website
- constraint satisfaction