Retour à l'index du GREYC

Séminaire Algorithmique

Site du CNRS

Séminaire Algorithmique

Le séminaire a lieu le mardi à 11 h 45 (sauf modification exceptionnelle), au campus Côte de Nacre, bâtiment Sciences 3, salle S3 351, 3ème étage.

Résumé du séminaire du Mardi 12 Septembre 2017 à 11:30-12:15

Quantified Valued Constraint Satisfaction Problems (QVCSP)

par Stéphane Secouard (GREYC, Caen)

Il existe de nombreuses façons de modéliser des problèmes de faisabilité ou d'optimisation. Certaines modélisent le fait que le problème est réalisable (CSP), d'autre que le problème est réalisable malgré l'ajout de contrainte dynamique (QCSP), d'autre enfin donne un coût à chaque façon d'assigner les variables (VCSP), permettant par ce biais de modéliser des problèmes d'optimisation.

GREYC
Campus Côte de Nacre, boulevard du Maréchal Juin
BP 5186
14032 Caen Cedex
FAX : +33 (0)2 31 56 73 30
http://www.greyc.fr