Curriculum-based course timetabling with SAT and MaxSAT |
| |
| Authors: | Roberto Asín Achá Robert Nieuwenhuis |
| |
| Affiliation: | 1. Universidad Católica de la Santísima Concepción, Concepción, Chile
2. Technical University of Catalonia, Barcelona, Spain
|
| |
| Abstract: | 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 set by applying a new full (Weighted) Partial MaxSAT approach of the Curriculum-based Course Timetabling problem. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
