Sebastian Ordyniak

Cette étude se concentre sur les variables quantifiées existentiellement dans le QBF, avec pour objectif des solutions efficaces.

Examiner les défis et les solutions dans la complétion de données à travers la théorie des graphes.

Un aperçu de la planéité groupée et de la saturation linéaire dans la représentation des graphes.