Login / Signup
GOAL solver: a hybrid local search based solver for high school timetabling.
George Henrique Godim da Fonseca
Haroldo Gambini Santos
Túlio Ângelo Machado Toffolo
Samuel Souza Brito
Marcone Jamilson Freitas Souza
Published in:
Ann. Oper. Res. (2016)
Keyphrases
</>
information systems
search space
tree search
constraint solver
means ends analysis
machine learning
learning algorithm
objective function
search algorithm
artificial neural networks
memetic algorithm
sat solving
quantified boolean formulas