Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Sklenář Jaroslav, doc.Ing., CSc.
Cutaraj Valerie
Češka Milan, prof. RNDr., CSc., UITS (FIT)
Abstrakt

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.

Klíčová slova

integer programming, optimization, timetable generation, Petri nets

Anotace

V článku je presentována aplikace celočíselného programování na prototypovém příkladě rozvrhu zkoušek. Model využívá pokročilejší logická omezení a tzv. penalty-based relaxations. Je diskutována také možnost využití Petriho sítí a příbuzných modelů ve vztahu k celočíselnému programování.

Rok
2008
Strany
19–21
Sborník
The 2008 European Simulation and Modelling Conference
Řada
EUROSIS-ETI Publications
Konference
The European Simulation and Modelling Conference - ESM'2008
ISBN
978-90-77381-44-1
Vydavatel
EUROSIM-FRANCOSIM-ARGESIM
Místo
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"
}
Projekty
Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů, GAČR, Standardní projekty, GA102/07/0322, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Pracoviště
Fakulta informačních technologií (FIT)
Nahoru