DM826 - Modeling and Solving Constrained Optimization Problems

Associations and Conferences

Courses

Solving Complex Optimization Problems with Constraint Modeling Languages by Stefano Gualandi
Global Constraint Catalog by Nicolas Beldiceanu and Sophie Demassey (Full List) and (CP Systems)
ECLiPSE ELearning Website by Helmut Simonis
ACP Summer School 2010
Course by Marco Kuhlmann and Guido Tack (Tutorial on Gecode)
Course by Christian Schulte (CP talks)
Francesca Rossi's Constraint Programming course (in Italian)

Course by Roman Bartak

Constraint Programming in Alice. A tutorial

Blogs

Constraint Applications Blog by Helmut Simonis
Hakan's Constraint Programming Blog
CP standardization by Jacob Feldman

Problems and Data:

CSPLib: a problem library for CP
Hakan's page on solution scripts to 242 CP problems

Constraint Systems

Prolog Based Languages
ECLiPSe	(Open Source)
Prolog II till Prolog IV Colmerauer, 1990
CHIP V5 Dincbas, 1988	(commercial)
CLP(R)
Ciao Prolog	(Free, GPL)
GNU Prolog	(Free, GPL)
SICStus Prolog	(commercial)
Mozart based on Oz language (incorporates concurrent constraint programming)

Modelling languages
Comet - distributed by [dynadec]
ZIMPL Modelling language for ILP	(open source)
MiniZinc	(open source)

Libraries
Gecode C++, interface for MiniZinc
G12 Project
SCIP - a framework for Constraint Integer Programming (C/C++)	(open source)
CHOCO	(free)
Kaolog	(commercial)
CP-Optimizer - Constraint System by IBM-ILOG, available via C/C++ or OPL
NumberJack - A python constraint programming platform
JaCoP

Date: 2014-02-12T13:44+0100

Author: Marco Chiarandini

Org version 7.9.3f with Emacs version 24

Validate XHTML 1.0