Solving the Course-timetabling Problem of Cairo University Using Max-SAT.
Mohamed El HalabyPublished in: CoRR (2018)
Keyphrases
- timetabling problem
- max sat
- weighted max sat
- examination timetabling
- graph coloring
- memetic algorithm
- tabu search
- hyper heuristics
- sat solvers
- lower bound
- stochastic local search
- branch and bound algorithm
- satisfiability problem
- sat problem
- search algorithm
- branch and bound
- combinatorial optimization
- variable ordering
- linear programming
- constraint satisfaction
- boolean satisfiability
- max sat solver
- genetic algorithm
- boolean formula
- orders of magnitude
- np complete
- simulated annealing
- objective function