Publisher Summary This chapter reviews that continuous constraint solving has been widely
studied in several fields of applied mathematics and computer science. In computer algebra …

Publisher Summary Constraint programming is a powerful paradigm for solving
combinatorial search problems that draws on a wide range of techniques from artificial …

This book is intended primarily for those not yet familiar with methods for computing with
intervals of real numbers and what can be done with these methods. Using a pair [a, b] of …

Before using interval analysis as a basic tool in the following chapters, we shall now
introduce its main concepts. Section 2.2 recalls fundamental notions on set operators, set …

Constraint programming is a powerful paradigm for solving combinatorial search problems
that draws on a wide range of techniques from artificial intelligence, computer science …

Employing a closed set-theoretic foundation for interval computations, Global Optimization
Using Interval Analysis simplifies algorithm construction and increases generality of interval …

Many industrial problems can be naturally formulated using mixed integer non-linear
programming (MINLP) models and can be solved by spatial Branch&Bound (sBB) …

Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

Shape interrogation is the process of extraction of information from a geometric model. It is a
fundamental component of Computer Aided Design and Manufacturing (CAD/CAM) …

Solving Mixed-Integer Quadratic Programming problems with IBM-CPLEX: a progress report
Page 1 Proceedings of the Twenty-Sixth RAMP Symposium Hosei University, Tokyo, October …