Global Optimization and Constraint Satisfaction First International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002, Revised Selected Papers /
Global Optimization and Constraint Satisfaction First International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002, Revised Selected Papers / [electronic resource] :
edited by Christian Bliek, Christophe Jermann, Arnold Neumaier.
- 1st ed. 2003.
- XII, 248 p. online resource.
- Lecture Notes in Computer Science, 2861 1611-3349 ; .
- Lecture Notes in Computer Science, 2861 .
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.
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.
9783540399018
10.1007/b94062 doi
Mathematical optimization.
Numerical analysis.
Compilers (Computer programs).
Discrete mathematics.
Operations research.
Management science.
Optimization.
Numerical Analysis.
Compilers and Interpreters.
Discrete Mathematics.
Operations Research, Management Science.
Operations Research and Decision Theory.
QA402.5-402.6
519.6
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.
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.
9783540399018
10.1007/b94062 doi
Mathematical optimization.
Numerical analysis.
Compilers (Computer programs).
Discrete mathematics.
Operations research.
Management science.
Optimization.
Numerical Analysis.
Compilers and Interpreters.
Discrete Mathematics.
Operations Research, Management Science.
Operations Research and Decision Theory.
QA402.5-402.6
519.6