Solving the Employee Timetabling Problem Using Advanced SAT & ILP Techniques.
Fadi A. AloulSyed Z. H. ZahidiAnas Al-FarraBasel Al-RohBashar Al-RawiPublished in: J. Comput. (2013)
Keyphrases
- timetabling problem
- memetic algorithm
- examination timetabling
- hyper heuristics
- graph coloring
- inductive logic programming
- search algorithm
- np complete problems
- satisfiability problem
- stochastic local search
- neural network
- phase transition
- branch and bound algorithm
- max sat
- combinatorial optimization
- background knowledge
- tabu search
- artificial neural networks