Méthodes de recherche locales pour l’insatisfaisabilité

En partenariat avec les laboratoires MIS (Amiens), LRI (Paris Sud) et LSIS (Marseille), cette ANR a permis de proposer de nouvelles méthodes incomplètes pour l’insatisfaisabilité. De nombreux résultats ont été obtenus au cours de cette ANR : méthodes incomplètes, méthodes hybrides, résolution étendue ou encore certains résultats autour du démonstrateur GLUCOSE.


Responsable scientifique pour le CRIL :
Gilles Audemard
Participants :
Gilles Audemard
katsirelos
Jean-Marie Lagniez
Bertrand Mazure
Lakhdar Saïs
Durée :
2009-2011