Towards a Parallel Constraint Solver for Cloud Computing Environments.
Tarek MenouerNitin SukhijaPatrice DarmonPublished in: BigDataService (2019)
Keyphrases
- computing environments
- constraint solver
- constraint solving
- computing platform
- constraint propagation
- constraint programming
- mobile computing
- linear constraints
- constraint logic programming
- constraint solvers
- cloud computing
- constraint satisfaction
- sat solvers
- parallel computing
- arc consistency algorithm
- grid computing
- mobile agents
- constraint satisfaction problems
- high performance computing
- distributed processing
- real numbers
- trusted computing
- artificial intelligence
- shared memory
- map reduce
- combinatorial search
- expert systems
- lower bound