Pour toute une série d'applications en sciences, en ingénierie, en économie et en finances, les problèmes sont souvent modélisés en optimisant la valeur d'une fonction donnée d'après les contraintes de faisabilité. Dans de nombreux cas pratiques, la meilleure solution doit être recherchée parmi de multiples optimums par le biais d'une recherche exhaustive de l'ensemble des solutions envisageables.

Soumis à l'intérêt théorique et aux besoins pratiques, les progrès des algorithmes informatiques ont permis le développement de logiciels d'optimisation non linéaires sophistiqués. Dans le cadre du projet COCONUT, de nombreux progiciels dernier cri ont été évalués pour la première fois de façon systématique afin d'en tirer des conclusions significatives d'un point de vue statistique.

Les chercheurs de l'Université de Vienne ont réuni une série exhaustive de problèmes représentatifs et bien caractérisés d'optimisation globale et de satisfaction des contraintes couvrant le plus de catégories possible. Ces problèmes proviennent à la fois de la littérature de recherche et d'un vaste spectre d'applications de la vie courante, y compris des problèmes d'ingénierie chimique et civile, ainsi que des questions liées à l'analyse et à la gestion des systèmes dans le domaine de l'environnement.

Illustrés par des solutions connues et accompagnés de protocoles de comparaison recommandés pour la confrontation des résultats d'analyse en fonction de différentes mesures de performances, tous les problèmes rencontrés durant l'essai sont accessibles au public sur le site du projet COCONUT. En outre, ils ont été conçus en «Langage de programmation mathématique A» (AMPL) afin de permettre une exécution automatique via des dispositifs de résolution externes appropriés ainsi que le recours aux propres algorithmes de test des utilisateurs.