Investigating Constraint Programming for Real World Industrial Test Laboratory Scheduling.
Tobias GeibingerFlorian MischekNysret MusliuPublished in: CPAIOR (2019)
Keyphrases
- constraint programming
- real world
- constraint propagation
- combinatorial problems
- constraint satisfaction problems
- constraint satisfaction
- integer programming
- global constraints
- column generation
- symmetry breaking
- search strategies
- finite domain
- scheduling problem
- np hard problems
- backtrack search
- data mining
- search heuristics
- arc consistency
- constraint solving
- constraint logic programming
- constraint networks
- constraint optimization
- industrial applications
- instruction scheduling
- hard and soft constraints
- job shop scheduling
- itemset mining
- constraint solver
- propositional satisfiability