Practical Partial Order Reduction for CSP.
Thomas Gibson-RobinsonHenri HansenA. W. RoscoeXu WangPublished in: NFM (2015)
Keyphrases
- constraint satisfaction problems
- partial order reduction
- practical application
- model checking
- real world
- clustering algorithm
- decomposition methods
- constraint satisfaction
- constraint programming
- arc consistency
- search space
- data structure
- social networks
- constraint propagation
- practical problems
- tree decomposition
- neural network