P. Vander-Swalmen, G. Dequen et Michael Krajecki
(LARIA - Amiens, CRESTIC - Reims)
Vers une résolution
parallèle du problème de satisfaisabilité.
T.V. Luong, N. Melab et E-G. Talbi (INRIA
Dolphin Project / Opac LIFL)
Local Search Algorithms on
Graphics Processing Units.
A. Monnet et
D.Singer (UQAM Montréal , LITA-Metz)
Décomposition
structurale et résolution parallèle du problème
de satisfaisabilité.
---- Pause Café: 16h-16h30 ----
Après-midi: 16h30
Z. Habbas et
K. Amroun (LITA – Metz , Béjaïa Universty)
Résolution séquentielle et parallèle
des problèmes de satisfaction de contraintes n-aires par
l'Hypertree decomposition.
S. Jubertie*, E.
Melin*, J. Vautard* et A. Lallouet° (*LIFO – Orléans
, °GRAYC - Caen)
Placement d'applications interactives
sur des architectures distribuées hétérogènes
à l'aide de la programmation par contraintes.
Table Ronde: 18h