Manuel Bodirsky

Un aperçu de comment la résilience des bases de données impacte la gestion des données et le traitement des requêtes.

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

Explore les VCSP temporels et leur importance dans les problèmes d'optimisation.