J 2003

Minimal Perturbation Problem - A Formal View

BARTÁK, Roman, Tomáš MÜLLER a Hana RUDOVÁ

Základní údaje

Originální název

Minimal Perturbation Problem - A Formal View

Autoři

BARTÁK, Roman (203 Česká republika), Tomáš MÜLLER (203 Česká republika) a Hana RUDOVÁ (203 Česká republika, garant)

Vydání

Neural Network World/IDG, 2003, 0169-4243

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Česká republika

Utajení

není předmětem státního či obchodního tajemství

Odkazy

Impakt faktor

Impact factor: 0.822

Kód RIV

RIV/00216224:14330/03:00008705

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

constraint satisfaction; solution update; soft constraints; timetabling
Změněno: 25. 5. 2004 15:54, doc. Mgr. Hana Rudová, Ph.D.

Anotace

V originále

Formulation of many real-life problems evolves as the problem is being solved. These changes are typically initiated by a user intervention or by changes in the environment. In this paper, we propose a formal description of so called minimal perturbation problem that allows an "automated" modification of the (partial) solution when the problem formulation changes. Our model is defined for constraint satisfaction problems with emphasis put on finding a solution anytime even for over-constrained problems.

Návaznosti

GA201/01/0942, projekt VaV
Název: Pokročilé plánování a rozvrhování
Investor: Grantová agentura ČR, Pokročilé plánování a rozvrhování