logo pages de liens

UniversitySurf.net
Votre portail e-Learning
CultureMATH
ENSup. et Minist. EN
Séminaire MaMuX
Mathématiques, musique et relations avec d'autres disciplines

  

Contraintes - Constraint Programming



Bas de page

PAGES WEB

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/> <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
<http://www.e-constraints.net/palm/palm.html>

precsuivant

EXEMPLES - EXAMPLES

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

precsuivant

LOGICIELS - SOFTWARES

/INRIA/Projects/ChLoE/LOGIC_PROGRAMMING/clp_fd
<ftp://ftp.inria.fr/INRIA/Projects/ChLoE/LOGIC_PROGRAMMING/clp_fd/> <ftp://ftp.ics.ele.tue.nl/pub/lp_solve/ > <ftp://garbo.uwasa.fi:/pc/ts/> <http://www.rriai.org.ru/UniCalc/download.html> <http://plato.la.asu.edu/donlp2.html>
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>

precsuivant

DOCUMENTS - PAPERS

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

precsuivant

COURS - COURSES

<http://www.gymnase-morges.info/math/javmath/polycopie/prog_lin.pdf> <http://www.cse.unsw.edu.au/~tw/csplib/links.html>

precsuivant

CONFÉRENCES - MEETINGS

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/>

precsuivant

QUESTIONS - FAQ

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

precsuivant

FIRMES - FIRMS

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

precsuivant

LIENS - LINKS

<http://www.cert.fr/francais/deri/lobjois/Index-CSP.html>
A Collection of Codes for Solving Various Mathematical Programming Problems
<ftp://ftp.zib.de/pub/Packages/mathprog/index.html> <http://solon.cma.univie.ac.at/%7Eneum/glopt.html>

 haut de page











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-2012 Jean-Paul Davalan - Reproduction interdite.