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.