Solving periodic timetabling problems with SAT and machine learning.
Gonçalo P. MatosLuís M. AlbinoRicardo L. SaldanhaErnesto M. MorgadoPublished in: Public Transp. (2021)
Keyphrases
- timetabling problem
- machine learning
- examination timetabling
- memetic algorithm
- hyper heuristics
- machine learning algorithms
- neural network
- graph coloring
- search algorithm
- learning algorithm
- decision trees
- machine learning methods
- stochastic local search
- graph colouring
- sat solving
- np complete problems
- computational intelligence
- sat solvers
- tabu search
- search space
- variable ordering
- sat encodings
- lower bound
- genetic algorithm
- data mining