Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{555150,
author = {Barták, Roman and Müller, Tomáš and Rudová, Hana},
address = {Berlin Heidelberg (Germany)},
booktitle = {Recent Advances in Constraints},
keywords = {constraint satisfaction; solution update; search; timetabling},
language = {eng},
location = {Berlin Heidelberg (Germany)},
isbn = {3-540-21834-3},
pages = {233-249},
publisher = {Springer},
title = {A New Approach to Modeling and Solving Minimal Perturbation Problems},
url = {http://www.fi.muni.cz/~hanka/publ/ercim03.pdf},
year = {2004}
}
TY - JOUR
ID - 555150
AU - Barták, Roman - Müller, Tomáš - Rudová, Hana
PY - 2004
TI - A New Approach to Modeling and Solving Minimal Perturbation Problems
PB - Springer
CY - Berlin Heidelberg (Germany)
SN - 3540218343
KW - constraint satisfaction
KW - solution update
KW - search
KW - timetabling
UR - http://www.fi.muni.cz/~hanka/publ/ercim03.pdf
N2 - Formulation of many real-life problems evolves when the problem is being solved. For example, a change in the environment might appear after the initial problem specification and this change must be reflected in the solution. Such changes complicate usage of a traditionally static constraint satisfaction technology that requires the problem to be fully specified before the solving process starts. We propose a new formal description of changes in the problem formulation called a minimal perturbation problem. This description focuses on the modification of the solution after a change in the problem specification. We also describe a new branch-and-bound like algorithm for solving such type of problems.
ER -
BARTÁK, Roman, Tomáš MÜLLER a Hana RUDOVÁ. A New Approach to Modeling and Solving Minimal Perturbation Problems. In \textit{Recent Advances in Constraints}. Berlin Heidelberg (Germany): Springer, 2004, s.~233-249. ISBN~3-540-21834-3.
|
