QBF Solving Using Best First Search. - Yifan He 008; Abdallah Saffidine (CG, 2022)

Solving Two-player Games with QBF Solvers in General Game Playing. - Yifan He 008; Abdallah Saffidine; Michael Thielscher (AAMAS, 2024)

Verification of General Games with Imperfect Information Using Strategy Logic. - Yifan He 008; Munyque Mittelmann; Aniello Murano; Abdallah Saffidine; Michael Thielscher (KR, 2024)