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

✍ Scribed by Nikolaos V. Sahinidis (auth.), Christian Bliek, Christophe Jermann, Arnold Neumaier (eds.)

Publisher: Springer-Verlag Berlin Heidelberg
Year: 2003
Tongue: English
Leaves: 250
Series: Lecture Notes in Computer Science 2861
Edition: 1
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

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.

✦ Table of Contents

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 -

✦ Subjects

Numeric Computing; Programming Languages, Compilers, Interpreters; Combinatorics; Operations Research, Mathematical Programming; Operations Research/Decision Theory

📜 SIMILAR VOLUMES

Global Optimization and Constraint Satis

📁 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

✍ Nikolaos V. Sahinidis (auth.), Christian Bliek, Christophe Jermann, Arnold Neuma 📂 Library 📅 2003 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

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 in

Global Optimization and Constraint Satis

📁 Global Optimization and Constraint Satisfaction: Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers

✍ Yahia Lebbah, Claude Michel, Michel Rueher (auth.), Christophe Jermann, Arnold N 📂 Library 📅 2005 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Theformulationofmanypracticalproblemsnaturallyinvolvesconstraintsonthe variables entering the mathematical model of a real-life situation to be analyzed. It is of great interest to ?nd the possible scenarios satisfying all constraints, and, iftherearemanyofthem,eitherto?ndthebestsolution,ortoobta

Global Optimization and Constraint Satis

📁 Global Optimization and Constraint Satisfaction: Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers

✍ Yahia Lebbah, Claude Michel, Michel Rueher (auth.), Christophe Jermann, Arnold N 📂 Library 📅 2005 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Recent Advances in Constraints: 11th Ann

📁 Recent Advances in Constraints: 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers

✍ Mark Wallace (auth.), Francisco Azevedo, Pedro Barahona, François Fages, Frances 📂 Library 📅 2007 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This book constitutes the thoroughly refereed and extended post-proceedings of the 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006, held in Caparica, Portugal in June 2006.The 10 revised full papers presented together with a tutor

Logic-Based Methods for Optimization: Co

📁 Logic-Based Methods for Optimization: Combining Optimization and Constraint Satisfaction

✍ John Hooker(auth.) 📂 Library 📅 2000 🌐 English

A pioneering look at the fundamental role of logic in optimization and constraint satisfaction While recent efforts to combine optimization and constraint satisfaction have received considerable attention, little has been said about using logic in optimization as the key to unifying the two fiel

Recent Advances in Constraints: 12th Ann

📁 Recent Advances in Constraints: 12th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2007 Rocquencourt,

✍ François Fages, Francesca Rossi, Sylvain Soliman 📂 Library 📅 2008 🏛 Springer 🌐 English

This book constitutes the thoroughly refereed and extended post-workshop proceedings of the 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, held in Rocquencourt, France, in June 2007. The 10 revised full papers presented were ca