Curriculum-based course timetabling with SAT and MaxSAT
Submitted by watt on Mon, 2014-07-14 13:00
| Title | Curriculum-based course timetabling with SAT and MaxSAT |
| Publication Type | Journal Article |
| Year of Publication | 2014 |
| Authors | Achá RAsín, Nieuwenhuis R |
| Journal | Annals of Operations Research |
| Volume | 218 |
| Pagination | 71-91 |
| ISSN | 0254-5330 |
| Keywords | MaxSAT, SAT, Timetabling |
| URL | http://dx.doi.org/10.1007/s10479-012-1081-x |
| DOI | 10.1007/s10479-012-1081-x |