Result Details

Using Integer Programming for Discrete Problem Optimization

SKLENÁŘ, J.; CUTARAJ, V.; ČEŠKA, M. Using Integer Programming for Discrete Problem Optimization. The 2008 European Simulation and Modelling Conference. EUROSIS-ETI Publications. LE HAVRE: EUROSIM-FRANCOSIM-ARGESIM, 2008. p. 19-21. ISBN: 978-90-77381-44-1.
Type
conference paper
Language
English
Authors
Sklenář Jaroslav, doc.Ing., CSc.
Cutaraj Valerie
Češka Milan, prof. RNDr., CSc., DITS (FIT)
Abstract

An application of integer programming that generates optimal examination timetables is presented. The model is based on common assignment problem constraints together with more advanced logical constraints penalty-based relaxations. In order to minimize the number of constraints we identify dense timetables where the main objective is elimination of clashes and sparse timetables where we spread the exams as evenly as possible.

Keywords

integer programming, optimization, timetable generation, Petri nets

Annotation

We present an application of integer programming that generates optimal examination timetables. The model is based on common assignment problem constraints together with more advanced logical constraints penalty-based relaxations. In order to minimize the number of constraints we identify dense timetables where the main objective is elimination of clashes and sparse timetables where we spread the exams as evenly as possible. We also discuss the possibility of using Petri and related nets to solve this problem.

Published
2008
Pages
19–21
Proceedings
The 2008 European Simulation and Modelling Conference
Series
EUROSIS-ETI Publications
Conference
The European Simulation and Modelling Conference - ESM'2008
ISBN
978-90-77381-44-1
Publisher
EUROSIM-FRANCOSIM-ARGESIM
Place
LE HAVRE
BibTeX 
@inproceedings{BUT32324,
  author="Jaroslav {Sklenář} and Valerie {Cutaraj} and Milan {Češka}",
  title="Using Integer Programming for Discrete Problem Optimization",
  booktitle="The 2008 European Simulation and Modelling Conference",
  year="2008",
  series="EUROSIS-ETI Publications",
  pages="19--21",
  publisher="EUROSIM-FRANCOSIM-ARGESIM",
  address="LE HAVRE",
  isbn="978-90-77381-44-1"
}
Projects
Advanced Formal Approaches in the Design and Verification of Computer-Based Systems, GACR, Standardní projekty, GA102/07/0322, start: 2007-01-01, end: 2009-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Departments
Faculty of Information Technology (FIT)
Back to top