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

Neumaier, Arnold; Bliek, Christian ; Jermann, Christopher

ISBN 10: 3540204636 / ISBN 13: 9783540204633

Editore: Springer Verlag, New York, 2004

Riguardo questo articolo

Hardcover 2004 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series: Lecture Notes in Computer Science ;2861.[xii, 238 p. : ill. ; 24 cm].

Codice articolo 011827

Dati bibliografici

• Titolo: Global Optimization and Constraint Satisfaction: First International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2002, Revised Selected Papers
• Editore: Springer Verlag, New York
• Data di pubblicazione: 2004
• Lingua: Inglese
• ISBN 10: 3540204636
• ISBN 13: 9783540204633
• Rilegatura: Hardcover
• Condizione: Very Good
• Condizione della sovraccoperta: No Jacket
• Cataloghi dei venditori:
  • Computer

Descrizione articolo

Riassunto

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.

Contenuti

Invited Lectures.- Global Optimization and Constraint Satisfaction: The Branch-and-Reduce Approach.- GlobSol: History, Composition, and Advice on Use.- Optimisation.- LaGO – An Object Oriented Library for Solving MINLPs.- Solving Global Optimization Problems over Polynomials with GloptiPoly 2.1.- Rigorous Error Bounds for the Optimal Value of Linear Programming Problems.- Minimal and Maximal Real Roots of Parametric Polynomials Using Interval Analysis.- D.C. Programming for Solving a Class of Global Optimization Problems via Reformulation by Exact Penalty.- Symbolic-Interval Heuristic for Bound-Constrained Minimization.- A Global Constrained Optimization Algorithm for Engine Calibration.- Numerical Behavior of a Stabilized SQP Method for Degenerate NLP Problems.- Constraint Satisfaction.- A New Method for the Global Solution of Large Systems of Continuous Constraints.- Consistency Techniques for the Localization of a Satellite.- Computing Interval Parameter Bounds from Fallible Measurements Using Overdetermined (Tall) Systems of Nonlinear Equations.- Maintaining Global Hull Consistency with Local Search for Continuous CSPs.- Numerical Constraint Satisfaction Problems with Non-isolated Solutions.- Benchmarking.- Benchmarking Global Optimization and Constraint Satisfaction Codes.- Quality Assurance and Global Optimization.