Other formats:
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 and Hana RUDOVÁ. A New Approach to Modeling and Solving Minimal Perturbation Problems. In \textit{Recent Advances in Constraints}. Berlin Heidelberg (Germany): Springer, 2004, p.~233-249. ISBN~3-540-21834-3.
|