Book Volume 2861 2003

Global Optimization and Constraint Satisfaction

First International Workshop on Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2002. Revised Selected Papers

Editors:

ISBN: 978-3-540-20463-3 (Print) 978-3-540-39901-8 (Online)

Table of contents (17 chapters)

  1. Front Matter

    Pages -

  2. Invited Lectures

    1. No Access

      Chapter

      Pages 1-16

      Global Optimization and Constraint Satisfaction: The Branch-and-Reduce Approach

    2. No Access

      Chapter

      Pages 17-31

      GlobSol: History, Composition, and Advice on Use

  3. Optimisation

    1. No Access

      Chapter

      Pages 32-42

      LaGO – An Object Oriented Library for Solving MINLPs

    2. No Access

      Chapter

      Pages 43-58

      Solving Global Optimization Problems over Polynomials with GloptiPoly 2.1

    3. No Access

      Chapter

      Pages 59-70

      Rigorous Error Bounds for the Optimal Value of Linear Programming Problems

    4. No Access

      Chapter

      Pages 71-86

      Minimal and Maximal Real Roots of Parametric Polynomials Using Interval Analysis

    5. No Access

      Chapter

      Pages 87-101

      D.C. Programming for Solving a Class of Global Optimization Problems via Reformulation by Exact Penalty

    6. No Access

      Chapter

      Pages 102-110

      Symbolic-Interval Heuristic for Bound-Constrained Minimization

    7. No Access

      Chapter

      Pages 111-122

      A Global Constrained Optimization Algorithm for Engine Calibration

    8. No Access

      Chapter

      Pages 123-141

      Numerical Behavior of a Stabilized SQP Method for Degenerate NLP Problems

  4. Constraint Satisfaction

    1. No Access

      Chapter

      Pages 142-156

      A New Method for the Global Solution of Large Systems of Continuous Constraints

    2. No Access

      Chapter

      Pages 157-170

      Consistency Techniques for the Localization of a Satellite

    3. No Access

      Chapter

      Pages 171-177

      Computing Interval Parameter Bounds from Fallible Measurements Using Overdetermined (Tall) Systems of Nonlinear Equations

    4. No Access

      Chapter

      Pages 178-193

      Maintaining Global Hull Consistency with Local Search for Continuous CSPs

    5. No Access

      Chapter

      Pages 194-210

      Numerical Constraint Satisfaction Problems with Non-isolated Solutions

  5. Benchmarking

    1. No Access

      Chapter

      Pages 211-222

      Benchmarking Global Optimization and Constraint Satisfaction Codes

    2. No Access

      Chapter

      Pages 223-238

      Quality Assurance and Global Optimization

  6. Back Matter

    Pages -