Scalable Parallel Numerical CSP Solver.
Daisuke IshiiKazuki YoshizoeToyotaro SuzumuraPublished in: CoRR (2014)
Keyphrases
- constraint satisfaction problems
- constraint solving
- constraint solver
- numerical analysis
- sensitivity analysis
- constraint satisfaction
- constraint programming
- parallel implementation
- numerical data
- backtracking search
- constraint propagation
- decomposition methods
- shared memory
- clause learning
- constraint networks
- genetic algorithm
- qualitative and quantitative
- parallel processing
- lightweight
- np hard