All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Using Integer Programming for Discrete Problem Optimization.

The result's identifiers

  • Result code in IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F08%3APU78084" target="_blank" >RIV/00216305:26230/08:PU78084 - isvavai.cz</a>

  • Result on the web

  • DOI - Digital Object Identifier

Alternative languages

  • Result language

    angličtina

  • Original language name

    Using Integer Programming for Discrete Problem Optimization.

  • Original language description

    <i>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 minimizethe 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.</i>

  • Czech name

    Využití celočíselného programování v řešení optimalizace diskrétního problému.

  • Czech description

    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í.

Classification

  • Type

    D - Article in proceedings

  • CEP classification

    JC - Computer hardware and software

  • OECD FORD branch

Result continuities

  • Project

    <a href="/en/project/GA102%2F07%2F0322" target="_blank" >GA102/07/0322: Advanced Formal Approaches in the Design and Verification of Computer-Based Systems</a><br>

  • Continuities

    Z - Vyzkumny zamer (s odkazem do CEZ)

Others

  • Publication year

    2008

  • Confidentiality

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Data specific for result type

  • Article name in the collection

    The 2008 European Simulation and Modelling Conference

  • ISBN

    978-90-77381-44-1

  • ISSN

  • e-ISSN

  • Number of pages

    3

  • Pages from-to

  • Publisher name

    EUROSIM-FRANCOSIM-ARGESIM

  • Place of publication

    LE HAVRE

  • Event location

    Universite du Havre, Le Havre, France

  • Event date

    Aug 27, 2008

  • Type of event by nationality

    EUR - Evropská akce

  • UT code for WoS article