Answer set programming as a modeling language for course timetabling
From MaRDI portal
Publication:5398311
DOI10.1017/S1471068413000495zbMath1286.68040MaRDI QIDQ5398311
Katsumi Inoue, Takehide Soh, Mutsunori Banbara, Torsten Schaub, Naoyuki Tamura
Publication date: 27 February 2014
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Related Items
Shift Design with Answer Set Programming ⋮ Feature-based tuning of simulated annealing applied to the curriculum-based course timetabling problem ⋮ Compromise ratio with weighting functions in a tabu search multi-criteria approach to examination timetabling ⋮ A general framework for preferences in answer set programming ⋮ Learning weak constraints in answer set programming ⋮ Computing Diverse Optimal Stable Models ⋮ Rewriting optimization statements in answer-set programs ⋮ \textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming ⋮ Boosting Answer Set Optimization with Weighted Comparator Networks ⋮ Solving a multi-resource partial-ordering flexible variant of the job-shop scheduling problem with hybrid ASP ⋮ Comments on: ``An overview of curriculum-based course timetabling ⋮ An overview of curriculum-based course timetabling
Cites Work
- Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16--19, 2011. Proceedings
- A supernodal formulation of vertex colouring with applications in course timetabling
- Explaining the \texttt{cumulative} propagator
- Logic programming and nonmonotonic reasoning. 10th international conference, LPNMR 2009, Potsdam, Germany, September 14--18, 2009. Proceedings
- Application of a real-world university-course timetabling model solved by integer programming
- Decomposition, reformulation, and diving in university course timetabling
- Recent research directions in automated timetabling
- Benchmarking curriculum-based course timetabling: formulations, data formats, instances, validation, visualization, and results
- A branch-and-cut procedure for the Udine course timetabling problem
- Curriculum based course timetabling: new solutions to Udine benchmark instances
- Efficient solutions for a university timetabling problem through integer programming
- Logic programs with stable model semantics as a constraint programming paradigm
- A survey of metaheuristic-based techniques for university timetabling problems
- Setting the Research Agenda in Automated Timetabling: The Second International Timetabling Competition
- Knowledge Representation, Reasoning and Declarative Problem Solving
This page was built for publication: Answer set programming as a modeling language for course timetabling