BR4CP
--- de la reunion des 9 et 10 janvier
2013 Les 9 et 10 janvier au LIRMM, Montpellier
|
|
Mercredi 9, 9h-9h45 :
Reunion du groupe "Résolution interactive / search" (Tache 3)
+ Discussion des travaux en cours
(10 mn par personne ou groupe de personnes)
Mercredi 9, 13h30 - 17h45 Reunion pleiniere
+ 13h30 -15h45 Exposés:
*
Compitation par Cluster trees, Laurent Cosserat
* Demo configurateur Renault, Edouard Chevallier
*
Expose + Demo , Rault Mazo: Recommandation et interaction pour améliorer le processus
de configuration de modèles à variabilité
+ 16h-17h30 Exposes:
* Du Glucose à hautes doses : progrès dans la résolution des problèmes SAT ?( Laurent Simon)
* Compilation par automate ; application à la
configuration de produit (H. Fargier)
+ 17h30-17h45: Conclusion ; preparation de la revue à mi parcours.
Jeudi 10, 9h-11h30 :
Reunion du groupe "Compilation
+ 9h15 - 11h Exposés :
* Pierre Marquis : Clôtures disjonctives
*
Alexandre Niveau : Relaxation du déterminisme
+ 11h-11h30 cf. Sylvie ?
Contact : H. Fargier
IRIT-Bureau 306
Université
Paul Sabatier
118 Route de Narbonne, 31062 Toulouse Cedex 04
Tél: (33) 05 61 55 82 97 Fax: (33) 05 61 55 62 39
fargier@irit.fr