Fahad Panolan

Diese Studie konzentriert sich auf existenziell quantifizierte Variablen in QBF und hat effiziente Lösungen im Visier.

Dieses Papier untersucht, wie Abstand die Wählerzufriedenheit bei der Kommissionauswahl beeinflusst.

Neuer Algorithmus verbessert Bipartitionslösungen in Diskgraphen.

Die Bedeutung und Anwendungen von Hitting-Subgraphen in verschiedenen Bereichen erkunden.