Team Coprin

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography
Inria / Raweb 2004
Project: Coprin

Project : coprin

Section: Software


Keywords : constraints solving.

ICOS

Participants : Yahia Lebbah [correspondant], Claude Michel, Michel Rueher.

ICOS solves rigorously nonlinear problems modeled with the AMPL mathematical programming language (see www.ampl.com). ICOS computes a small and safe box for each solutions of such systems. The constraint-solving algorithm of ICOS is based on a combination of interval analysis methods, constraint programming and linear programming relaxation techniques. ICOS has been evaluated on a variety of benchmarks from kinematics, mechanics and robotics. It outperforms interval methods as well as CSP solvers and it compares well with state-of-the-art optimization solvers. On-line implementation of ICOS will be soon available through the web site of the COPRIN project.


previous
next

Logo Inria