Novel Collaborative Constraints Solving Techniques - Case Studies on Synchronizing a MIP Solver and a CP Solver.
Chendong LiJiayin WangYichen LiuPublished in: CSC (2010)
Keyphrases
- mixed integer program
- mip solver
- case study
- constraint programming
- constraint solvers
- feasible solution
- linear program
- specially designed
- constraint solver
- metaheuristic
- mixed integer
- lot sizing
- mathematical programming
- integer program
- cutting plane
- constraint satisfaction
- linear programming
- constraint propagation
- soft constraints
- sat encodings
- jigsaw puzzle
- optimal solution
- objective function