Accueil
Plan du site
Bloc notes
Jeux
Graphes
Combinatoire
Arithmétique
Algèbre
Analyse
Probabilités
Automates
Programmation
Divers
Liens
Home
Plan du site
Bloc notes
Jeux
Graphes
Combinatoire
Arithmétique
Algèbre
Analyse
Probabilités
Automates
Programmation
Divers
Liens
Home
Contraintes - Constraint Programming
| SOMMAIRE | Pages Web | Exemples | Logiciels | Papiers | Cours | Conférences |
| Faq | Firmes | Liens |
| Faq | Firmes | Liens |
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>
EXEMPLES - EXAMPLES
<http://www.rriai.org.ru/UniCalc/calculate.html?filename=UniCalc/examples/common/integers.uni> <http://txt.rriai.org.ru/UniCalc/examples.html>
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>
DOCUMENTS - PAPERS
<http://ftp.informatik.rwth-aachen.de/dblp/db/journals/jsc/jsc13.html>
COURS - COURSES
<http://www.gymnase-morges.info/math/javmath/polycopie/prog_lin.pdf> <http://www.cse.unsw.edu.au/~tw/csplib/links.html>
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/>
QUESTIONS - FAQ
<http://www-unix.mcs.anl.gov/otc/Guide/faq/nonlinear-programming-faq.html>
FIRMES - FIRMS
<http://www.cosytec.com/> <http://www.ilog.com/> <http://www.parc.xerox.com/spl/projects/mbc/>
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>
| SOMMAIRE | Pages Web | Exemples | Logiciels | Papiers | Cours | Conférences |
| Faq | Firmes | Liens |
| Faq | Firmes | Liens |
| Accueil | Plan du site | Bloc notes | Jeux | Graphes | Combinatoire | Arithmétique | Algèbre |
| Analyse | Probabilités | Automates | Informatique | Divers | Lycée |
| Analyse | Probabilités | Automates | Informatique | Divers | Lycée |
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 à :
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.
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 à :
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.