previous up next contents
Précédent : Actions de recherche Remonter : Actions de recherche Suivant : Combinaison et coopération

Contraintes

Nos travaux sur la résolution et la satisfaisabilité de contraintes fournissent des outils pour la déduction, et réciproquement utilisent nos résultats en mécanisation du raisonnement. La coopération de ces compétences du projet est particulièrement apparente en ce qui concerne l'utilisation des graphes SOUR ou l'utilisation des techniques de mécanisation du raisonnement pour simplifier des contraintes.