Pseudo-Boolean optimisation for RobinX sports timetabling.
Martin Mariusz LesterPublished in: J. Sched. (2022)
Keyphrases
- pseudo boolean
- constraint programming
- combinatorial problems
- symmetry breaking
- propositional satisfiability
- integer linear programming
- pseudo boolean constraints
- constraint satisfaction problems
- exact solution
- constraint satisfaction
- timetabling problem
- boolean optimization
- global constraints
- graph coloring
- genetic algorithm
- column generation
- integer programming
- combinatorial optimization
- phase transition
- metaheuristic
- knowledge base