Accueil
Plan du site
Bloc notes
Jeux
Graphes
Combinatoire
Arithmétique
Algèbre
Analyse
Probabilités
Automates
Programmation
Divers
Liens
Home

UniversitySurf.net
Votre portail e-Learning

CultureMATH
ENSup. et Minist. EN

On-Line Encyclopedia
of Integer Sequences

Séminaire MaMuX
Mathématiques, musique et relations avec d'autres disciplines

L'INVERSEUR
de Plouffe

Inscrire les services publics dans la constitution
Plus de 210000 signatures (27 mai)

Contraintes - Constraint Programming

PAGES WEB

Mozart

The Mozart system provides state-of-the-art support in two areas: open distributed computing and constraint-based inference. Mozart implements Oz, a concurrent object-oriented language with dataflow synchronization.

<http://www.mozart-oz.org/>

LIFE - Logic, Inheritance, Functions, and Equations

is an experimental programming language proposing to integrate three orthogonal programming paradigms proven useful for symbolic computation. From the programmer's standpoint, it may be perceived as a language taking after logic programming, functional programming, and object-oriented programming. From a formal perspective, it may be seen as an instance (or rather, a composition of three instances) of a Constraint Logic Programming scheme due to Hoehfeld and Smolka refining that of Jaffar and Lassez.

<http://www.isg.sfu.ca/life/>

Decision Tree for Optimization Software

<http://plato.la.asu.edu/guide.html>

the PaLM system ((Propagation and Learning with Move))

is an explanation-based constraint programming system. It has been written both in claire and in Java and uses the choco constraints library

Manual. sources

<http://www.e-constraints.net/palm/palm.html>

EXEMPLES - EXAMPLES

UniCalc examples

<http://www.rriai.org.ru/UniCalc/calculate.html?filename=UniCalc/examples/common/integers.uni>

UniCalc Examples

<http://txt.rriai.org.ru/UniCalc/examples.html>

LOGICIELS - SOFTWARES

clp_fd

/INRIA/Projects/ChLoE/LOGIC_PROGRAMMING/clp_fd

<ftp://ftp.inria.fr/INRIA/Projects/ChLoE/LOGIC_PROGRAMMING/clp_fd/>

lp_solve

autre site

<ftp://ftp.ics.ele.tue.nl/pub/lp_solve/ >

garbo : tslin

<ftp://garbo.uwasa.fi:/pc/ts/>

Unicalc solver

<http://www.rriai.org.ru/UniCalc/download.html>

NLP programs, DONLP2 and some related programs

<http://plato.la.asu.edu/donlp2.html>

csplib

Peter van Beek School of Computer Science University of Waterloo

A `C' library of routines for solving binary constraint satisfaction problems

<http://ai.uwaterloo.ca/~vanbeek/software/software.html>

DOCUMENTS - PAPERS

Journal of Symbolic Computation, Volume 13, 1992

<http://ftp.informatik.rwth-aachen.de/dblp/db/journals/jsc/jsc13.html>

COURS - COURSES

Programmation linéaire (PDF)

Jean-Philippe Javet - Gymnase de Morges (Suisse)

<http://www.gymnase-morges.info/math/javmath/polycopie/prog_lin.pdf>

CSPLib: a problem library for constraints

<http://www.cse.unsw.edu.au/~tw/csplib/links.html>

CONFÉRENCES - MEETINGS

CP 2005

Eleventh International Conference on Principles and Practice of Constraint Programming

October 1 - 5, 2005 Sitges (Barcelona) Spain co-located with ICLP 2005

<http://www.iiia.csic.es/cp2005/>

QUESTIONS - FAQ

Nonlinear Programming Frequently Asked Questions

<http://www-unix.mcs.anl.gov/otc/Guide/faq/nonlinear-programming-faq.html>

FIRMES - FIRMS

Cosytec

<http://www.cosytec.com/>

Ilog

<http://www.ilog.com/>

Xerox

<http://www.parc.xerox.com/spl/projects/mbc/>

LIENS - LINKS

CSP

<http://www.cert.fr/francais/deri/lobjois/Index-CSP.html>

MATHPROG

A Collection of Codes for Solving Various Mathematical Programming Problems

<ftp://ftp.zib.de/pub/Packages/mathprog/index.html>

Global Optimization

<http://solon.cma.univie.ac.at/%7Eneum/glopt.html>

Actualités

Advertising : If you see a reference in one of the files that is not linked, and you know of a link address to the appropriate document, please send me mail, and I will include the link in the document. Thanks very much in advance.
Avertissement : Le classement par catégories est approximatif. Certains liens se retrouvent dans des rubriques différentes et sur plusieurs pages. Les commentaires sont généralement des courts extraits des pages référencées. Il est possible que certains liens nécessitent une mise à jour.
Tous commentaires ou remarques sont les bienvenus, vous pouvez les adresser à :
écrire

Les mises à jour demandées sont réalisées dès que possible et, sauf si c'est nécessaire, aucun message de réponse n'est expédié. Merci de m'écrire.

Copyright © 1999-2009 Jean-Paul Davalan - Reproduction interdite.