Visualising SMT-Based Parallel Constraint Solving.
Jelena BudakovicMatteo MarescottiAntti E. J. HyvärinenNatasha SharyginaPublished in: SMT (2017)
Keyphrases
- constraint solving
- constraint propagation
- constraint logic programming
- constraint satisfaction problems
- constraint satisfaction
- constraint solver
- constraint programming
- parallel processing
- parallel implementation
- data structure
- shared memory
- finite domain
- video sequences
- context aware
- global constraints
- constraint solvers