À propos du portail R.O.

À propos de ce portail R.O.

Modifications récentes

01/03/2020(md)
- ajout de liens vers un solveur linéaire par méthode de points intieures Tulip (100% Julia ;-)
12/03/2019(md)
- ajout de liens sur la complexité paramétrée
21/09/2017(md)
- Création d'un rubrique Programmation linéaire Multiobjectif avec son outil Julia vOptSolver (sera probablement présentée lors de la ROADEF'2018)
16/01/2017(md)
- ajout de la bibliothèque Bigrph pour l'implantation parallèle de grands graphes
15/04/2016(md)
- mise à jour de la rubrique Prolog (merci Zane Myers)
18/01/2015(md)
- mise à jour des lien pour la bibliothèque Choco (ppc java)
17/10/2014(md)
- Ajout d'une entrée sur le langage Julia (concurent à la fois à Matlab, C++ et AMPL (!!) et pour lequel je pourrais faire une page indépendante !)
12/01/2014(md)
- Ajout d'une entrée le solveur PPC JaCop (java)
- correction de quelques liens morts (il me faudra revoir la page entièrement !)
24/09/2013(md)
- Ajout d'une entrée la bibliothèque de graphe grph (java) Grph
14/01/2013(md)
- Ajout d'une entrée sur le projet EnsROtice (Enseignement de la RO)
20/09/2012(md)
- Ajout d'une entrée pour le solveur SDP BiqCrunch
07/06/2012..19/06/2012(md)
- Mise à jour de nombreux liens,
- Création d'une section Théories (algo, jeux, complexitée, ...),
- Réorganisation de certaines sections,
- Ajout d'une version sans frame pour iPhone (et autres clones) sans style pour l'instamt !
27/04/2012(md)
- Ajout d'une entrée pour le langage LSP et l'outil LocalSolver
08/02/2012(md)
- Ajout d'une url concernant les problèmes de Pickup and delivery Pb de Tounées
08/02/2012(md)
- Ajout d'une entrée sur le nouveau langage de modélisation opensource CMPL
29/11/2011(md)
- mise à jour (mineure) de quelques liens
24/02/2011(md)
- Ajout d'une entrée pour LocalSolver
19/12/2008(md)
- Ajout d'une entrée SDP_S parmi les méthodes de programmation semidéfinies
- Ajout du nouveau forum OpenOpt moteurs
10/11/2008(md)
- Ajout d'une entrée sur le dessin des graphes dessin des graphes
11/09/2008(md)
- mise à jour des informations sur le solveur PPC Choco suite à release 2.0 (majeur)
16/04/2008(md)
- Ajout d'un tutorial français d'utilisation de Graphviz Graphviz
18/03/2008(md)
- Ajout d'une entrée pour l'interface de programmation linéaire Glop
14/03/2008(md)
- Ajout d'une entrée pour le Framework Paradiseo de l'INRIA dédié aux métaheuristiques
01/02/2008(md)
- Ajout d'un pointeur sur la librairie GraphWeb pour les gigantesque graphe de la toile
10/01/2008(md)
- Ajout d'une rubrique sur les méthodes (outils) polyédriques
06/07/2007(md)
- Ajout d'une entrée pour la librairie de graphe C++ Lemon Lemon
- Ajout d'une entrée pour le CEDIRIC/RO parmi les labos
15/05/2007(md)
- Ajout d'une entrée pour une librairie d' instances à Priceton (au format GAMS)
24/04/2007(md)
- Ajout d'une entrée pour l' Optimisation pa Essaims particulaires (SPO)
25/01/2007(md)
- Ajout d'une entrée pour l'outils COMET de recherche locale par contrainte.
23/01/2007(md)
- Ajout de quelques outils concernant la programmation par contrainte
16/01/2007(md)
- Création d'une rubrique sur la programmation stochastique
11/01/2007(md)
- Ajout d'une entrée pour l'outil Graphiz Graphiz
12/10/2006(md)
- Ajout d'un pointeurs vers le labo LMAH du Havre
11/09/2006 .. 18/11/2006(md)
- refonte du site, avec mise à jour des pointeurs
31/08/2005 (md)
- Ajout d'une rubrique Divers dans le Problème avec des pointeurs sur la recherche de "règles de Golomb"
10/01/2005 (md)
- Ajout d'un lien dans la rubique Complexité (Définition de toutes les classes de complexité)
30/06/2004 (md)
- Ajout d'une nouvelle rubique pour les problèmes d'ordonnancement (instances pour le problemes de type RCPSP et dérivés)
08/06/2004 (md)
- Ajout d'une nouvelle référence sur la société Koalog et son solveur par contrainte java de qualité commerciale,
- Mise à jour de la référence sur le solveur par contrainte open source en java Choco (port java de la version écrite en langage claire)
17/12/2002 (md)
- Ajout d'une nouvelle rubrique sur le problème de Coloration
18/11/2002 (md)
- Ajout d'un lien sur le probleme UCP (Unit Commitment Problem)
12/06/2002 (md)
- Rajout d'un excellent moteur bibliographique NEC
02/05/2002 (md)
- ajout d'un acces au moteur bibliographique searchbib,
- ajout d'un acces à la nouvelle librairie GNU GLPK
12/04/2002 (md)
- Rajout d'une rubrique sur l'algorithmique en général
06/03/2002 (md)
- Rajout de deux pointeurs sur des solver sdp
29/01/2002 (md)
- Mise à jour de quelques pointeurs sur la programmation par contraintes
22/01/2002 (md)
- Rajout de pointeurs sur la méthode Colonie de fourmis
- et sur le probleme d'Affectation Quadratique
07/01/2002 (md)
- Rajout de deux conférences pour début 2002 à Paris (ROADEF'4 et CO"2002)
19/12/2001 (md)
- Rajout d'une rubrique 'Théorie des graphes" parmi les "méthodes" (c'est discutable, peut-etre faut-il créer une nouvelles section "Théories transversales" avec des rubriques comme la TH de jeux, des graphes, ...)
 -  Rajout d'un lien parmi sur le problemes des K plus courts chemins :
14/12/2001 (md)
- Rajout du projet CONTRAINTE de l'INRIA (rubrique Méthode/Prgrammation par contraintes),
-rajout d'un acces à GNU Prolog (rubique Langage pour la RO)
25/05/2001 (md)
- complément d'infos sur les algos génétiques (dont cours de Vincent Magnin)
02/02/2001 (md)
- mise à jour de quelques conférences et labos
09/01/2001 (md)
- rajout rubrique outils pour la RO (pour C++ et Java)
18/12/2000 et 03/01/01 (md)
- rajout de divers pointeurs
29/05/2000 (md)
- modif. diverses
30/03/2000 (md)
- refonte de la présentation de l'ensemble
xx/01/2000 (md)
- création

À faire   (màj 25/01/2007)

documentation des principaux outils
- doc du solveur linéaire glpk et de ses différentes possibilités (utilisation en tant que bibliothèque C),
- doc sur l'outil de PPC choco (développer au maximum le TD "rando") pour illustrer les différentes possibilités de Choco.
Petits exemples complets (autonomes) illustrant certains outils spécialisés
- Les graphes avec BOOST/BGL
- COIN (differents outils, dont SDP)
- SAT4J (solveur de contrainte basé sur la résolution de SAT)
- gecode (solveur par contraintes en C++)
- commet (solveur de recherche locale par contrainte)
Exemples complets illustrant une une plusieurs méthodes
- développer un exemple complet (e.g. TSP) traité par différents types de méthodes

Envoyez-moi vos remarques !

Ce site est maintenu par :

        http://www.ensta.fr/~diam

Toutes remarques, correction ou suggestions concernant ce portail sont les bienvenues !