Les actualités du LIFO

Événement

03/06/2009 - 05/06/2009

JFPC 2009 Journées Francophones de Programmation par Contraintes

Les JFPC (Journées Francophones de Programmation par Contraintes) sont le principal congrès des communautés francophones travaillant sur les problèmes de satisfaction de contraintes (CSP), le problème de la satisfiabilité d'une formule logique propositionnelle (SAT) et la programmation logique avec contraintes (CLP). 

La communauté de programmation par contraintes entretient également des liens avec la programmation linéaire en nombres entiers (PLNE), l'analyse par intervalles (CSP sur les réels), la recherche locale et différents domaines de l'intelligence artificielle. 

jfpc2009