×

ICOS

swMATH ID: 4007
Software Authors: Lebbah, Y.
Description: ICOS: a branch and bound based solver for rigorous global optimization. This article describes a software package called Interval Constraint Solver (ICOS), which implements a branch and bound algorithm for rigorously solving global optimization problems. The ICOS library contains algorithms coming from constraint programming, interval analysis, and linear relaxation techniques. It contains an interface to linear programming solvers and local optimization solvers (e.g. Coin/Clp, Cplex, and IpOpt). ICOS has also its own AMPL parser, which enables calling ICOS binary code in a Unix-like command. The ICOS strategy language enables combining and parameterizing existing algorithms for solving optimization problems. Thus, the user can develop his own solving strategies without changing anything in the ICOS internal architecture. Various examples are given to show how the strategy language can be used. We give an overview of ICOS design, implementation, and a quick user’s guide.
Homepage: https://sites.google.com/site/ylebbah/icos
Operating Systems: Linux, Windows/Cygwin binary (under development)
Keywords: global optimization; interval analysis; constraint programming; problem solving
Related Software: BARON; Numerica; COCONUT; RealPaver; ANTIGONE; LINDO; GlobSol; PROFIL/BIAS; INTOPT_90; INTBIS; AMPL; GLOPTLAB; CONOPT; Ipopt; Couenne; IbexOpt; coco_gop_ex; GLOBALLib; ALIAS; CFSQP
Cited in: 16 Publications

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
ICOS: a branch and bound based solver for rigorous global optimization. Zbl 1179.90265
Lebbah, Y.
2009
all top 5

Cited by 28 Authors

3 Araya, Ignacio J.
3 Neumaier, Arnold
2 Domes, Ferenc
2 Ozdamar, Linet
2 Pedamallu, Chandra Sekhar
2 Reyes, Victor
2 Sahinidis, Nikolaos V.
2 Sam-Haroud, Djamila
2 Vu, Xuan-Ha
1 Bagnara, Roberto
1 Carlier, Matthieu
1 Ceberio, Martine
1 Chaykin, Denis
1 Faltings, Boi Volkert
1 Ghate, Archis
1 Gori, Roberta
1 Gotlieb, Arnaud
1 Huyer, Waltraud
1 Jansson, Christian
1 Keil, Christian
1 Lebbah, Yahia
1 Neveu, Bertrand
1 Puranik, Yash
1 Schichl, Hermann
1 Shcherbina, Oleg A.
1 Vinkó, Tamás
1 Wang, Wei
1 Zabinsky, Zelda B.
all top 5

Cited in 9 Serials

5 Journal of Global Optimization
3 Optimization Methods & Software
2 Constraints
1 SIAM Journal on Numerical Analysis
1 Computers & Operations Research
1 Mathematical Programming. Series A. Series B
1 Annals of Mathematics and Artificial Intelligence
1 INFORMS Journal on Computing
1 Optimization and Engineering
all top 5

Cited in 6 Fields

13 Operations research, mathematical programming (90-XX)
4 Computer science (68-XX)
3 Numerical analysis (65-XX)
1 History and biography (01-XX)
1 Mechanics of particles and systems (70-XX)
1 Biology and other natural sciences (92-XX)

Citations by Year