Moritz Lichter

Ce papier examine les défis de l'utilisation des comonades de jeu pour représenter des systèmes logiques.

Un aperçu des algorithmes et de leurs limites dans les problèmes de satisfaction de contraintes.

Un aperçu de l'isomorphisme de graphes, des méthodes de résolution et de leurs complexités.