Partenaires

CNRS
Université d'Artois IUT de Lens



retour à l'accueil

Home page > Research > Old seminars > Olivier Roussel - Résultats de la compétition CSP 2008 et informations sur les compétitions SAT09 et PB09 (in French)

Olivier Roussel - Résultats de la compétition CSP 2008 et informations sur les compétitions SAT09 et PB09 (in French)

Suite à la demande insistante de quelques collègues, nous présenterons les résultats parfois surprenants de la compétition 2008 de solveurs CSP, Max-CSP et WCSP (présentation déjà effectuée à la conférence CP 2008). Nous évoquerons également les futures compétitions (SAT, PB et CSP) ainsi que l’outil "evaluation" utilisé durant ces compétitions. L’exposé ne sera pas technique et s’adressera à tout utilisateur potentiel de solveurs de contraintes, ainsi qu’aux auteurs et futurs auteurs de ces solveurs.

In the same section :