Marcin Kozik

Explore la nature, les types et les utilisations dans le monde réel des problèmes de satisfaction de contraintes.

Explorer l'impact de la logique positive sans égalité sur les méthodes de vérification de modèles.