Minimal Perturbation in University Timetabling with Maximum Satisfiability.
Alexandre LemosPedro T. MonteiroInês LyncePublished in: CPAIOR (2020)
Keyphrases
- maximum satisfiability
- unsatisfiable cores
- boolean satisfiability
- max sat
- combinatorial problems
- constraint programming
- timetabling problem
- sat problem
- constraint satisfaction
- optimal solution
- lower bound
- evolutionary algorithm
- constraint satisfaction problems
- search strategies
- global constraints
- symmetry breaking