Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Curriculum-based course timetabling with SAT and MaxSAT

Autor
Asín, R.J.; Nieuwenhuis, R.
Tipus d'activitat
Article en revista
Revista
Annals of operations research
Data de publicació
2014-07-01
Volum
218
Número
1
Pàgina inicial
71
Pàgina final
91
DOI
https://doi.org/10.1007/s10479-012-1081-x Obrir en finestra nova
URL
http://link.springer.com/article/10.1007%2Fs10479-012-1081-x Obrir en finestra nova
Resum
This paper describes our work on applying novel techniques based on propositional satisfiability (SAT) solvers and optimizers to the Curriculum-based Course Timetabling problem.; Out of 32 standard benchmark instances derived from the Second International Timetabling Competition held in 2007, our techniques yield the best known solutions for 21 of them (19 of them being optimal), improving the previously best known solutions for 9.; In addition, we obtain 18 new lower bounds for this benchmark s...
Paraules clau
Algorithms, MaxSAT, Optimization, SAT, Solver, Timetabling
Grup de recerca
LOGPROG - Lògica i Programació

Participants