Global Optimization and Constraint Satisfaction


Book Description

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.




Global Optimization and Constraint Satisfaction


Book Description

This book constitutes the throughly refereed post-proceedings of the Second International Workshop on Global Optimization and Constraint Satisfaction, COCOS 2003, held in Lausanne, Switzerland in Nowember 2003. The 13 revised full papers presented were carefully selected and went through two rounds of reviewing and improvement. The papers are devoted to theoretical, algorithmic, and application-oriented issues in global constrained optimization and constraint satisfaction; they are organized in topical sections on constraint satisfaction problems, global optimization, and applications.




State of the Art in Global Optimization


Book Description

Optimization problems abound in most fields of science, engineering, and tech nology. In many of these problems it is necessary to compute the global optimum (or a good approximation) of a multivariable function. The variables that define the function to be optimized can be continuous and/or discrete and, in addition, many times satisfy certain constraints. Global optimization problems belong to the complexity class of NP-hard prob lems. Such problems are very difficult to solve. Traditional descent optimization algorithms based on local information are not adequate for solving these problems. In most cases of practical interest the number of local optima increases, on the aver age, exponentially with the size of the problem (number of variables). Furthermore, most of the traditional approaches fail to escape from a local optimum in order to continue the search for the global solution. Global optimization has received a lot of attention in the past ten years, due to the success of new algorithms for solving large classes of problems from diverse areas such as engineering design and control, computational chemistry and biology, structural optimization, computer science, operations research, and economics. This book contains refereed invited papers presented at the conference on "State of the Art in Global Optimization: Computational Methods and Applications" held at Princeton University, April 28-30, 1995. The conference presented current re search on global optimization and related applications in science and engineering. The papers included in this book cover a wide spectrum of approaches for solving global optimization problems and applications.




Numerica


Book Description

Many science and engineering applications require the user to find solutions to systems of nonlinear constraints or to optimize a nonlinear function subject to nonlinear constraints. The field of global optimization is the study of methods to find all solutions to systems of nonlinear constraints and all global optima to optimization problems. Numerica is modeling language for global optimization that makes it possible to state nonlinear problems in a form close to the statements traditionally found in textbooks and scientific papers. The constraint-solving algorithm of Numerica is based on a combination of traditional numerical methods such as interval and local methods, and constraint satisfaction techniques. This comprehensive presentation of Numerica describes its design, functions, and implementation. It also discusses how to use Numerica effectively to solve practical problems and reports a number of experimental results. A commercial implementation of Numerica is available from ILOG under the name ILOG Numerica.







Constraint Satisfaction in Logic Programming


Book Description

This book tackles classic problems from operations research and circuit design using a logic programming language embedding consistency techniques, a paradigm emerging from artificial intelligence research. Van Hentenryck proposes a new approach to solving discrete combinatorial problems using these techniques.Logic programming serves as a convenient language for stating combinatorial problems, but its "generate and test" paradigm leads to inefficient programs. Van Hentenryck's approach preserves one of the most useful features of logic programming - the duality of its semantics - yet allows a short development time for the programs while preserving most of the efficiency of special purpose programs written in a procedural language.Embedding consistency techniques in logic programming allows for ease and flexibility of programming and short development time because constraint propagation and tree-search programming are abstracted away from the user. It also enables logic programs to be executed efficiently as consistency techniques permit an active use of constraints to remove combinations of values that cannot appear in a solution Van Hentenryck presents a comprehensive overview of this new approach from its theoretical foundations to its design and implementation, including applications to real life combinatorial problems.The ideas introduced in "Constraint Satisfaction in Logic Programming "have been used successfully to solve more than a dozen practical problems in operations research and circuit design, including disjunctive scheduling, warehouse location, cutting stock car sequencing, and microcode labeling problems.Pascal Van Hentenryck is a member of the research staff at the European Computer Industry Research Centre. "Constraint Satisfaction in Logic Programming" is based on research for the Centre's CHIP project. As an outgrowth of this project, a new language (CHIP) that will include consistency techniques has been developed for commercial use. The book is included in the Logic Programming series edited by Ehud Shapiro.




Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems


Book Description

This volume is a compilation of the research program of the 10th International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, CPAIOR 2013, held at Yorktown Heights, NY, USA, in May 2013. This volume contains 20 full papers and 11 short papers that were carefully reviewed and selected from 71 submissions. The papers focus on new techniques or applications in the intersection of constraint programming (CP), artificial intelligence (AI) and operations research (OR).




Stochastic Global Optimization


Book Description

Ch. 1. Introduction / Gade Pandu Rangaiah -- ch. 2. Formulation and illustration of Luus-Jaakola optimization procedure / Rein Luus -- ch. 3. Adaptive random search and simulated annealing optimizers : algorithms and application issues / Jacek M. Jezowski, Grzegorz Poplewski and Roman Bochenek -- ch. 4. Genetic algorithms in process engineering : developments and implementation issues / Abdunnaser Younes, Ali Elkamel and Shawki Areibi -- ch. 5. Tabu search for global optimization of problems having continuous variables / Sim Mong Kai, Gade Pandu Rangaiah and Mekapati Srinivas -- ch. 6. Differential evolution : method, developments and chemical engineering applications / Chen Shaoqiang, Gade Pandu Rangaiah and Mekapati Srinivas -- ch. 7. Ant colony optimization : details of algorithms suitable for process engineering / V.K. Jayaraman [und weitere] -- ch. 8. Particle swarm optimization for solving NLP and MINLP in chemical engineering / Bassem Jarboui [und weitere] -- ch. 9. An introduction to the harmony search algorithm / Gordon Ingram and Tonghua Zhang -- ch. 10. Meta-heuristics : evaluation and reporting techniques / Abdunnaser Younes, Ali Elkamel and Shawki Areibi -- ch. 11. A hybrid approach for constraint handling in MINLP optimization using stochastic algorithms / G.A. Durand [und weitere] -- ch. 12. Application of Luus-Jaakola optimization procedure to model reduction, parameter estimation and optimal control / Rein Luus -- ch. 13. Phase stability and equilibrium calculations in reactive systems using differential evolution and tabu search / Adrian Bonilla-Petriciolet [und weitere] -- ch. 14. Differential evolution with tabu list for global optimization : evaluation of two versions on benchmark and phase stability problems / Mekapati Srinivas and Gade Pandu Rangaiah -- ch. 15. Application of adaptive random search optimization for solving industrial water allocation problem / Grzegorz Poplewski and Jacek M. Jezowski -- ch. 16. Genetic algorithms formulation for retrofitting heat exchanger network / Roman Bochenek and Jacek M. Jezowski -- ch. 17. Ant colony optimization for classification and feature selection / V.K. Jayaraman [und weitere] -- ch. 18. Constraint programming and genetic algorithm / Prakash R. Kotecha, Mani Bhushan and Ravindra D. Gudi -- ch. 19. Schemes and implementations of parallel stochastic optimization algorithms application of tabu search to chemical engineering problems / B. Lin and D.C. Miller




Principles of Constraint Programming


Book Description

Constraints are everywhere: most computational problems can be described in terms of restrictions imposed on the set of possible solutions, and constraint programming is a problem-solving technique that works by incorporating those restrictions in a programming environment. It draws on methods from combinatorial optimisation and artificial intelligence, and has been successfully applied in a number of fields from scheduling, computational biology, finance, electrical engineering and operations research through to numerical analysis. This textbook for upper-division students provides a thorough and structured account of the main aspects of constraint programming. The author provides many worked examples that illustrate the usefulness and versatility of this approach to programming, as well as many exercises throughout the book that illustrate techniques, test skills and extend the text. Pointers to current research, extensive historical and bibliographic notes, and a comprehensive list of references will also be valuable to professionals in computer science and artificial intelligence.




Models and Algorithms for Global Optimization


Book Description

The research of Antanas Zilinskas has focused on developing models for global optimization, implementing and investigating the corresponding algorithms, and applying those algorithms to practical problems. This volume, dedicated to Professor Zilinskas on the occasion of his 60th birthday, contains new survey papers in which leading researchers from the field present various models and algorithms for solving global optimization problems.