previous up next contents
Précédent : Contraintes d'ordre GPO Remonter : Contraintes Suivant : Déduction automatique

Déduction pour la résolution de contraintes

Participants : Carlos Castro, Claude Kirchner

Les techniques que nous développons pour restreindre les espaces de recherche en déduction automatique peuvent être spécialisées au problème de la résolution ou de la satisfaisabilité de contraintes. Nous commençons à exploiter en particulier les résultats récents obtenus en déduction automatique avec contraintes pour détecter les redondances dans les ensembles de contraintes et faciliter ainsi leur résolution.