Pascal Schreck

Pascal Schreck est professeur d’informatique à l’Université de Strasbourg. Ses centres d’intérêt incluent les spécifications formelles, les problèmes de résolution de contraintes et en particulier, la résolution des systèmes de contraintes géométriques. Il s’est aussi intéressé à la preuve automatique ou avec un assistant de preuves en géométrie.

Aspects combinatoires en résolution de contraintes géométriques

La résolution de contraintes en géométrie fait partie de la problématique des CSP (Constraint Satisfaction Problems) avec la particularité de considérer généralement des contraintes continues, les méthodes de résolution du domaine tirant habituellement parti de ce fait. Cependant, dans diverses circonstances, des raisonnements combinatoires peuvent aider à résoudre ce type de systèmes de contraintes. Sans prétendre être exhaustif, j’essaierai de présenter le domaine de la résolution de contraintes géométriques en mettant en avant ces aspects combinatoires.