• Accueil du LIFO
• Personnes (Annuaire)
• Equipes
• CA
• GAMoC
• PaMDA
• SDS
• Actions de Recherche
• Thèses en cours
• Séminaires et Evénements
• Séminaires
• Evénements au LIFO
• Evénements hors LIFO
• Publications et logiciels
• Publications
• Thèses et Habilitations
• Rapports de Recherche
• Logiciels
• Transfert de technologie

• Renseignements pratiques
• Organisation
• Accès
• Enseignement
• Département Informatique
• IUT Informatique
• ENSI de Bourges

Contact

LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Tel: +33 (0)2 38 41 70 11
Fax: +33 (0)2 38 41 71 37

The Solar System : Apprentissage de solveurs

Ce projet à pour objectif de fournir des frameworks et des outils pour la construction automatisée de solveurs de contraintes. Ce projet a débuté en 2002. Il s'appuie sur un financement "ATIP Jeune Equipe" du CNRS.

Participants

Thi-Bich-Hanh DIEP-DAO

AbdelAli ED-DBALI

Arnaud LALLOUET (coordinateur)

Andreï LEGTCHENKO

Lionel MARTIN

Page web de l'action

http://www.univ-orleans.fr/SCIENCES/LIFO/Members/lallouet/research/solar.html