Fahad Panolan

This study focuses on existentially quantified variables in QBF, aiming for efficient solutions.

This paper examines how distance influences voter satisfaction in committee selection.

New algorithm improves bipartization solutions in disk graphs.

Exploring the significance and applications of hitting subgraphs in various fields.