This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Global Constraints Optimization and Costraint Satisfaction, COCOS 2002, held in Valbonne-Sophia Antipolis, France in October 2002.
The 15 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement. The papers address current issues in global optimization, mathematical programming, and constraint programming; they are grouped in topical sections on optimization, constraint satisfaction, and benchmarking.
Author(s): Nikolaos V. Sahinidis (auth.), Christian Bliek, Christophe Jermann, Arnold Neumaier (eds.)
Series: Lecture Notes in Computer Science 2861
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2003
Language: English
Pages: 248
Tags: Numeric Computing; Programming Languages, Compilers, Interpreters; Combinatorics; Operations Research, Mathematical Programming; Operations Research/Decision Theory
Front Matter....Pages -
Global Optimization and Constraint Satisfaction: The Branch-and-Reduce Approach....Pages 1-16
GlobSol: History, Composition, and Advice on Use....Pages 17-31
LaGO – An Object Oriented Library for Solving MINLPs....Pages 32-42
Solving Global Optimization Problems over Polynomials with GloptiPoly 2.1....Pages 43-58
Rigorous Error Bounds for the Optimal Value of Linear Programming Problems....Pages 59-70
Minimal and Maximal Real Roots of Parametric Polynomials Using Interval Analysis....Pages 71-86
D.C. Programming for Solving a Class of Global Optimization Problems via Reformulation by Exact Penalty....Pages 87-101
Symbolic-Interval Heuristic for Bound-Constrained Minimization....Pages 102-110
A Global Constrained Optimization Algorithm for Engine Calibration....Pages 111-122
Numerical Behavior of a Stabilized SQP Method for Degenerate NLP Problems....Pages 123-141
A New Method for the Global Solution of Large Systems of Continuous Constraints....Pages 142-156
Consistency Techniques for the Localization of a Satellite....Pages 157-170
Computing Interval Parameter Bounds from Fallible Measurements Using Overdetermined (Tall) Systems of Nonlinear Equations....Pages 171-177
Maintaining Global Hull Consistency with Local Search for Continuous CSPs....Pages 178-193
Numerical Constraint Satisfaction Problems with Non-isolated Solutions....Pages 194-210
Benchmarking Global Optimization and Constraint Satisfaction Codes....Pages 211-222
Quality Assurance and Global Optimization....Pages 223-238
Back Matter....Pages -
