IDEAS home Printed from https://ideas.repec.org/a/spr/annopr/v275y2019i1d10.1007_s10479-018-2757-7.html
   My bibliography  Save this article

$${\varvec{teaspoon}}$$ teaspoon : solving the curriculum-based course timetabling problems with answer set programming

Author

Listed:
  • Mutsunori Banbara

    (Kobe University)

  • Katsumi Inoue

    (National Institute of Informatics
    Tokyo Institute of Technology)

  • Benjamin Kaufmann

    (Universität Potsdam)

  • Tenda Okimoto

    (Kobe University)

  • Torsten Schaub

    (Universität Potsdam
    Inria – Centre de Rennes Bretagne Atlantique)

  • Takehide Soh

    (Kobe University)

  • Naoyuki Tamura

    (Kobe University)

  • Philipp Wanko

    (Universität Potsdam)

Abstract

Answer Set Programming (ASP) is an approach to declarative problem solving, combining a rich yet simple modeling language with high performance solving capacities. We here develop an ASP-based approach to curriculum-based course timetabling (CB-CTT), one of the most widely studied course timetabling problems. The resulting teaspoon system reads a CB-CTT instance of a standard input format and converts it into a set of ASP facts. In turn, these facts are combined with a first-order encoding for CB-CTT solving, which can subsequently be solved by any off-the-shelf ASP systems. We establish the competitiveness of our approach by empirically contrasting it to the best known bounds obtained so far via dedicated implementations. Furthermore, we extend the teaspoon system to multi-objective course timetabling and consider minimal perturbation problems.

Suggested Citation

  • Mutsunori Banbara & Katsumi Inoue & Benjamin Kaufmann & Tenda Okimoto & Torsten Schaub & Takehide Soh & Naoyuki Tamura & Philipp Wanko, 2019. "$${\varvec{teaspoon}}$$ teaspoon : solving the curriculum-based course timetabling problems with answer set programming," Annals of Operations Research, Springer, vol. 275(1), pages 3-37, April.
    • Handle: RePEc:spr:annopr:v:275:y:2019:i:1:d:10.1007_s10479-018-2757-7
    DOI: 10.1007/s10479-018-2757-7
    as

    Download full text from publisher

    File URL: http://link.springer.com/10.1007/s10479-018-2757-7
    File Function: Abstract
    Download Restriction: Access to the full text of the articles in this series is restricted.
    File URL: https://libkey.io/10.1007/s10479-018-2757-7?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    As the access to this document is restricted, you may want to search for a different version of it.

    References listed on IDEAS

    as
    1. Burke, Edmund Kieran & Petrovic, Sanja, 2002. "Recent research directions in automated timetabling," European Journal of Operational Research, Elsevier, vol. 140(2), pages 266-280, July.
    2. Barry McCollum & Andrea Schaerf & Ben Paechter & Paul McMullan & Rhyd Lewis & Andrew J. Parkes & Luca Di Gaspero & Rong Qu & Edmund K. Burke, 2010. "Setting the Research Agenda in Automated Timetabling: The Second International Timetabling Competition," INFORMS Journal on Computing, INFORMS, vol. 22(1), pages 120-130, February.
    3. Lü, Zhipeng & Hao, Jin-Kao, 2010. "Adaptive Tabu Search for course timetabling," European Journal of Operational Research, Elsevier, vol. 200(1), pages 235-244, January.
    4. Gerald Lach & Marco Lübbecke, 2012. "Curriculum based course timetabling: new solutions to Udine benchmark instances," Annals of Operations Research, Springer, vol. 194(1), pages 255-272, April.
    5. Andrea Bettinelli & Valentina Cacchiani & Roberto Roberti & Paolo Toth, 2015. "Rejoinder on: an overview of curriculum-based course timetabling," TOP: An Official Journal of the Spanish Society of Statistics and Operations Research, Springer;Sociedad de Estadística e Investigación Operativa, vol. 23(2), pages 366-368, July.
    6. Edmund Burke & Jakub Mareček & Andrew Parkes & Hana Rudová, 2010. "A supernodal formulation of vertex colouring with applications in course timetabling," Annals of Operations Research, Springer, vol. 179(1), pages 105-130, September.
    7. Alex Bonutti & Fabio Cesco & Luca Gaspero & Andrea Schaerf, 2012. "Benchmarking curriculum-based course timetabling: formulations, data formats, instances, validation, visualization, and results," Annals of Operations Research, Springer, vol. 194(1), pages 59-70, April.
    8. Martin Geiger, 2012. "Applying the threshold accepting metaheuristic to curriculum based course timetabling," Annals of Operations Research, Springer, vol. 194(1), pages 189-202, April.
    9. Andrea Bettinelli & Valentina Cacchiani & Roberto Roberti & Paolo Toth, 2015. "An overview of curriculum-based course timetabling," TOP: An Official Journal of the Spanish Society of Statistics and Operations Research, Springer;Sociedad de Estadística e Investigación Operativa, vol. 23(2), pages 313-349, July.
    10. Edmund Burke & Jakub Mareček & Andrew Parkes & Hana Rudová, 2012. "A branch-and-cut procedure for the Udine Course Timetabling problem," Annals of Operations Research, Springer, vol. 194(1), pages 71-87, April.
    Full references (including those not matched with items on IDEAS)

    Citations

    Citations are extracted by the CitEc Project, subscribe to its RSS feed for this item.
    as


    Cited by:

    1. Arnaud Coster & Nysret Musliu & Andrea Schaerf & Johannes Schoisswohl & Kate Smith-Miles, 2022. "Algorithm selection and instance space analysis for curriculum-based course timetabling," Journal of Scheduling, Springer, vol. 25(1), pages 35-58, February.
    2. Alexandre Lemos & Pedro T. Monteiro & Inês Lynce, 2021. "Disruptions in timetables: a case study at Universidade de Lisboa," Journal of Scheduling, Springer, vol. 24(1), pages 35-48, February.
    3. Alexandre Lemos & Pedro T. Monteiro & Inês Lynce, 2022. "Introducing UniCorT: an iterative university course timetabling tool with MaxSAT," Journal of Scheduling, Springer, vol. 25(4), pages 371-390, August.

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Andrea Bettinelli & Valentina Cacchiani & Roberto Roberti & Paolo Toth, 2015. "An overview of curriculum-based course timetabling," TOP: An Official Journal of the Spanish Society of Statistics and Operations Research, Springer;Sociedad de Estadística e Investigación Operativa, vol. 23(2), pages 313-349, July.
    2. Bagger, Niels-Christian F. & Sørensen, Matias & Stidsen, Thomas R., 2019. "Dantzig–Wolfe decomposition of the daily course pattern formulation for curriculum-based course timetabling," European Journal of Operational Research, Elsevier, vol. 272(2), pages 430-446.
    3. Niels-Christian Fink Bagger & Guy Desaulniers & Jacques Desrosiers, 2019. "Daily course pattern formulation and valid inequalities for the curriculum-based course timetabling problem," Journal of Scheduling, Springer, vol. 22(2), pages 155-172, April.
    4. Alexander Kiefer & Richard F. Hartl & Alexander Schnell, 2017. "Adaptive large neighborhood search for the curriculum-based course timetabling problem," Annals of Operations Research, Springer, vol. 252(2), pages 255-282, May.
    5. Niels-Christian F. Bagger & Simon Kristiansen & Matias Sørensen & Thomas R. Stidsen, 2019. "Flow formulations for curriculum-based course timetabling," Annals of Operations Research, Springer, vol. 280(1), pages 121-150, September.
    6. Fabian Dunke & Stefan Nickel, 2023. "A matheuristic for customized multi-level multi-criteria university timetabling," Annals of Operations Research, Springer, vol. 328(2), pages 1313-1348, September.
    7. Rasmus Ø. Mikkelsen & Dennis S. Holm, 2022. "A parallelized matheuristic for the International Timetabling Competition 2019," Journal of Scheduling, Springer, vol. 25(4), pages 429-452, August.
    8. Massimiliano Caramia & Stefano Giordani, 2020. "Curriculum-Based Course Timetabling with Student Flow, Soft Constraints, and Smoothing Objectives: an Application to a Real Case Study," SN Operations Research Forum, Springer, vol. 1(2), pages 1-21, June.
    9. Ceschia, Sara & Di Gaspero, Luca & Schaerf, Andrea, 2023. "Educational timetabling: Problems, benchmarks, and state-of-the-art results," European Journal of Operational Research, Elsevier, vol. 308(1), pages 1-18.
    10. Vermuyten, Hendrik & Lemmens, Stef & Marques, Inês & Beliën, Jeroen, 2016. "Developing compact course timetables with optimized student flows," European Journal of Operational Research, Elsevier, vol. 251(2), pages 651-661.
    11. Lindahl, Michael & Stidsen, Thomas & Sørensen, Matias, 2019. "Quality recovering of university timetables," European Journal of Operational Research, Elsevier, vol. 276(2), pages 422-435.
    12. Kadri Sylejmani & Edon Gashi & Adrian Ymeri, 2023. "Simulated annealing with penalization for university course timetabling," Journal of Scheduling, Springer, vol. 26(5), pages 497-517, October.
    13. Michael Lindahl & Matias Sørensen & Thomas R. Stidsen, 2018. "A fix-and-optimize matheuristic for university timetabling," Journal of Heuristics, Springer, vol. 24(4), pages 645-665, August.
    14. Esmaeilbeigi, Rasul & Mak-Hau, Vicky & Yearwood, John & Nguyen, Vivian, 2022. "The multiphase course timetabling problem," European Journal of Operational Research, Elsevier, vol. 300(3), pages 1098-1119.
    15. Johnes, Jill, 2015. "Operational Research in education," European Journal of Operational Research, Elsevier, vol. 243(3), pages 683-696.
    16. Dennis S. Holm & Rasmus Ø. Mikkelsen & Matias Sørensen & Thomas J. R. Stidsen, 2022. "A graph-based MIP formulation of the International Timetabling Competition 2019," Journal of Scheduling, Springer, vol. 25(4), pages 405-428, August.
    17. Efstratios Rappos & Eric Thiémard & Stephan Robert & Jean-François Hêche, 2022. "A mixed-integer programming approach for solving university course timetabling problems," Journal of Scheduling, Springer, vol. 25(4), pages 391-404, August.
    18. P. Solano Cutillas & D. Pérez-Perales & M. M. E. Alemany Díaz, 2022. "A mathematical programming tool for an efficient decision-making on teaching assignment under non-regular time schedules," Operational Research, Springer, vol. 22(3), pages 2899-2942, July.
    19. Alejandro Cataldo & Juan-Carlos Ferrer & Jaime Miranda & Pablo A. Rey & Antoine Sauré, 2017. "An integer programming approach to curriculum-based examination timetabling," Annals of Operations Research, Springer, vol. 258(2), pages 369-393, November.
    20. Thepphakorn, Thatchai & Pongcharoen, Pupong & Hicks, Chris, 2014. "An ant colony based timetabling tool," International Journal of Production Economics, Elsevier, vol. 149(C), pages 131-144.

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:spr:annopr:v:275:y:2019:i:1:d:10.1007_s10479-018-2757-7. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Sonal Shukla or Springer Nature Abstracting and Indexing (email available below). General contact details of provider: http://www.springer.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.