Embarrassingly Parallel Search in Constraint Programming.
Arnaud MalapertJean-Charles RéginMohamed RezguiPublished in: J. Artif. Intell. Res. (2016)
Keyphrases
- constraint programming
- parallel search
- constraint satisfaction problems
- theorem proving
- combinatorial problems
- symmetry breaking
- constraint propagation
- constraint satisfaction
- integer programming
- np hard problems
- search strategies
- column generation
- global constraints
- arc consistency
- constraint optimization
- constraint solver
- finite domain
- hard and soft constraints
- genetic algorithm
- constraint solving
- search heuristics
- propositional satisfiability
- np complete
- constraint logic programming
- itemset mining
- orders of magnitude