Utilisation de la recherche arborescente Monte-Carlo au Hex. - Tristan Cazenave; Abdallah Saffidine (Rev. d'Intelligence Artif., 2009)

Score Bounded Monte-Carlo Tree Search. - Tristan Cazenave; Abdallah Saffidine (Computers and Games, 2010)

Solving breakthrough with Race Patterns and Job-Level Proof Number Search. - Abdallah Saffidine; Nicolas Jouandeau; Tristan Cazenave (ACG, 2011)

Choosing Collectively Optimal Sets of Alternatives Based on the Condorcet Criterion. - Edith Elkind; Jérôme Lang; Abdallah Saffidine (IJCAI, 2011)

Alpha-Beta Pruning for Games with Simultaneous Moves. - Abdallah Saffidine; Hilmar Finnsson; Michael Buro (AAAI, 2012)

Strategic voting and the logic of knowledge. - Hans van Ditmarsch; Jérôme Lang; Abdallah Saffidine (AAMAS, 2012)

Fast Heuristic Search for RTS Game Combat Scenarios. - David Churchill; Abdallah Saffidine; Michael Buro (AIIDE, 2012)

Multiple-Outcome Proof Number Search. - Abdallah Saffidine; Tristan Cazenave (ECAI, 2012)

Minimal Proof Search for Modal Logic K Model Checking. - Abdallah Saffidine (JELIA, 2012)

UCD : Upper confidence bound for rooted directed acyclic graphs. - Abdallah Saffidine; Tristan Cazenave; Jean Méhat (Knowl. Based Syst., 2012)

Havannah and TwixT are PSPACE-complete. - Edouard Bonnet; Florian Jamain; Abdallah Saffidine (Computers and Games, 2013)

Developments on Product Propagation. - Abdallah Saffidine; Tristan Cazenave (Computers and Games, 2013)

Material Symmetry to Partition Endgame Tables. - Abdallah Saffidine; Nicolas Jouandeau; Cédric L. R. Buron; Tristan Cazenave (Computers and Games, 2013)

On the Complexity of Trick-Taking Card Games. - Edouard Bonnet; Florian Jamain; Abdallah Saffidine (IJCAI, 2013)

Monte Carlo *-Minimax Search. - Marc Lanctot; Abdallah Saffidine; Joel Veness; Christopher Archibald; Mark H. M. Winands (IJCAI, 2013)

Solving Games and All That. (Résoudre les jeux et le reste). - Abdallah Saffidine (2013)

Solving the Inferential Frame Problem in the General Game Description Language. - Javier Romero Davila; Abdallah Saffidine; Michael Thielscher (AAAI, 2014)

On the Complexity of General Game Playing. - Édouard Bonnet; Abdallah Saffidine (CGW@ECAI, 2014)

A Systematic Solution to the (De-)Composition Problem in General Game Playing. - Timothy Joseph Cerexhe; David Rajaratnam; Abdallah Saffidine; Michael Thielscher (ECAI, 2014)

The Game Description Language Is Turing Complete. - Abdallah Saffidine (IEEE Trans. Comput. Intell. AI Games, 2014)

Draws, Zugzwangs, and PSPACE-Completeness in the Slither Connection Game. - Edouard Bonnet; Florian Jamain; Abdallah Saffidine (ACG, 2015)

Go Complexities. - Abdallah Saffidine; Olivier Teytaud; Shi-Jim Yen (ACG, 2015)

Depth, balancing, and limits of the Elo model. - Marie-Liesse Cauwet; Olivier Teytaud; Tristan Cazenave; Abdallah Saffidine; Hua-Min Liang; Shi-Jim Yen; Hung-Hsuan Lin; I-Chen Wu (CIG, 2015)

A Preliminary Selection of Problems in Heuristic Search. - Carlos Linares López; Abdallah Saffidine (SOCS, 2015)

Condorcet winning sets. - Edith Elkind; Jérôme Lang; Abdallah Saffidine (Soc. Choice Welf., 2015)

Nested Monte Carlo Search for Two-Player Games. - Tristan Cazenave; Abdallah Saffidine; Michael John Schofield; Michael Thielscher (AAAI, 2016)

On the complexity of connection games. - Édouard Bonnet; Florian Jamain; Abdallah Saffidine (Theor. Comput. Sci., 2016)

The Parameterized Complexity of Positional Games. - Édouard Bonnet; Serge Gaspers; Antonin Lambilliotte; Stefan Rümmele; Abdallah Saffidine (ICALP, 2017)

Mechanisms for Online Organ Matching. - Nicholas Mattei; Abdallah Saffidine; Toby Walsh (IJCAI, 2017)

A Study of Forward Versus Backwards Endgame Solvers with Results in Chinese Checkers. - Nathan R. Sturtevant; Abdallah Saffidine (CGW@IJCAI, 2017)

Median Based Calculus for Lattice Polynomials and Monotone Boolean Functions. - Miguel Couceiro; Pierre Mercuriali; Romain Péchoux; Abdallah Saffidine (ISMVL, 2017)

Positional scoring-based allocation of indivisible goods. - Dorothea Baumeister; Sylvain Bouveret; Jérôme Lang; Nhan-Tam Nguyen; Trung Thanh Nguyen 004; Jörg Rothe; Abdallah Saffidine (Auton. Agents Multi Agent Syst., 2017)

Minesweeper with Limited Moves. - Serge Gaspers; Stefan Rümmele; Abdallah Saffidine; Kevin Tran (AAAI, 2018)

Knowledge-Based Policies for Qualitative Decentralized POMDPs. - Abdallah Saffidine; François Schwarzentruber; Bruno Zanuttini (AAAI, 2018)

Fairness in Deceased Organ Matching. - Nicholas Mattei; Abdallah Saffidine; Toby Walsh (AIES, 2018)

The Complexity of Limited Belief Reasoning - The Quantifier-Free Case. - Yijia Chen 001; Abdallah Saffidine; Christoph Schwering (IJCAI, 2018)

Recherche heuristique pour jeux stochastiques (à somme nulle). - Olivier Buffet; Jilles Steeve Dibangoye; Abdallah Saffidine; Vincent Thomas (JFPDA, 2018)

Constrained Swap Dynamics over a Social Network in Distributed Resource Reallocation. - Abdallah Saffidine; Anaëlle Wilczynski (SAGT, 2018)

Bounded Suboptimal Game Tree Search. - Dor Atzmon; Roni Stern; Abdallah Saffidine (SOCS, 2018)

How does uncertainty about other voters determine a strategic vote? - Zeinab Bakhtiari; Hans van Ditmarsch; Abdallah Saffidine (CoRR, 2018)

Foundations of Digital Archæoludology. - Cameron Browne; Dennis J. N. J. Soemers; Éric Piette; Matthew Stephenson; Michael Conrad; Walter Crist; Thierry Depaulis; Eddie Duggan; Fred Horn; Steven Kelk; Simon M. Lucas; João Pedro Neto; et al. (CoRR, 2019)

The Packed Interval Covering Problem is NP-complete. - Abdallah Saffidine; Sébastien Lê Cong; Sophie Pinchinat; François Schwarzentruber (CoRR, 2019)

Computer Games Workshop at IJCAI 2018. - Tristan Cazenave; Abdallah Saffidine; Nathan R. Sturtevant (J. Int. Comput. Games Assoc., 2019)

On the Complexity of Minimizing Median Normal Forms of Monotone Boolean Functions and Lattice Polynomials. - Miguel Couceiro; Pierre Mercuriali; Romain Péchoux; Abdallah Saffidine (J. Multiple Valued Log. Soft Comput., 2019)

Peer Reviewing in Participatory Guarantee Systems: Modelisation and Algorithmic Aspects. - Nathanaël Barrot; Sylvaine Lemeilleur; Nicolas Paget; Abdallah Saffidine (AAMAS, 2020)

Positional Games and QBF: The Corrective Encoding. - Valentin Mayer-Eichberger; Abdallah Saffidine (SAT, 2020)

Knowledge-based programs as succinct policies for partially observable domains. - Bruno Zanuttini; Jérôme Lang; Abdallah Saffidine; François Schwarzentruber (Artif. Intell., 2020)

On Bellman's Optimality Principle for zs-POSGs. - Olivier Buffet; Jilles Dibangoye; Aurélien Delage; Abdallah Saffidine; Vincent Thomas (CoRR, 2020)

The ACG 2019 Conference. - Tristan Cazenave; H. Jaap van den Herik; Abdallah Saffidine; I-Chen Wu (J. Int. Comput. Games Assoc., 2020)

Heuristic search for one-to-many shortest path queries. - Roni Stern; Meir Goldenberg; Abdallah Saffidine; Ariel Felner (Ann. Math. Artif. Intell., 2021)

Safe Multi-Agent Pathfinding with Time Uncertainty. - Tomer Shahar; Shashank Shekhar 002; Dor Atzmon; Abdallah Saffidine; Brendan Juba; Roni Stern (J. Artif. Intell. Res., 2021)

Heuristic Search Value Iteration for Zero-Sum Stochastic Games. - Olivier Buffet; Jilles Dibangoye; Abdallah Saffidine; Vincent Thomas (IEEE Trans. Games, 2021)

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

QBF Programming with the Modeling Language Bule. - Jean Christoph Jung; Valentin Mayer-Eichberger; Abdallah Saffidine (SAT, 2022)

Implicit QBF Encodings for Positional Games. - Irfansha Shaik; Valentin Mayer-Eichberger; Jaco van de Pol; Abdallah Saffidine (ACG, 2023)

Deep Reinforcement Learning for 5 ˟ 5 Multiplayer Go. - Brahim Driss; Jérôme Arjonilla; Hui Wang; Abdallah Saffidine; Tristan Cazenave (EvoApplications@EvoStar, 2023)

Mixture of Public and Private Distributions in Imperfect Information Games. - Jérôme Arjonilla; Tristan Cazenave; Abdallah Saffidine (JIAF, 2023)

Towards Tackling MaxSAT by Combining Nested Monte Carlo with Local Search. - Hui Wang; Abdallah Saffidine; Tristan Cazenave (LION, 2023)

Implicit State and Goals in QBF Encodings for Positional Games (extended version). - Irfansha Shaik; Valentin Mayer-Eichberger; Jaco van de Pol; Abdallah Saffidine (CoRR, 2023)

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

Perfect Information Monte Carlo with Postponing Reasoning. - Jérôme Arjonilla; Abdallah Saffidine; Tristan Cazenave (CoG, 2024)

Enhancing Reinforcement Learning Through Guided Search. - Jérôme Arjonilla; Abdallah Saffidine; Tristan Cazenave (ECAI, 2024)

Vision Transformers for Computer Go. - Amani Sagri; Tristan Cazenave; Jérôme Arjonilla; Abdallah Saffidine (EvoApplications@EvoStar, 2024)

Lazy Nested Monte Carlo Search for Coalition Structure Generation. - Milo Roucairol; Jérôme Arjonilla; Abdallah Saffidine; Tristan Cazenave (ICAART (2), 2024)

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

Generalizing Roberts' Characterization of Unit Interval Graphs. - Virginia Ardévol Martínez; Romeo Rizzi; Abdallah Saffidine; Florian Sikora; Stéphane Vialette (MFCS, 2024)

A Piecewise Approach for the Analysis of Exact Algorithms. - Katie Clinch; Serge Gaspers; Abdallah Saffidine; Tiankuang Zhang (CoRR, 2024)

Constructions, bounds, and algorithms for peaceable queens. - Katie Clinch; Matthew Drescher; Tony Huynh; Abdallah Saffidine (CoRR, 2024)

Fair Railway Network Design. - Zixu He; Sirin Botan; Jérôme Lang; Abdallah Saffidine; Florian Sikora; Silas Workman (CoRR, 2024)

HSVI Can Solve Zero-Sum Partially Observable Stochastic Games. - Aurélien Delage; Olivier Buffet; Jilles Steeve Dibangoye; Abdallah Saffidine (Dyn. Games Appl., 2024)

Unit 2-interval graph checker. - Abdallah Saffidine (DROPS Artifacts, 2024)

Refuting the Direct Sum Conjecture for Total Functions in Deterministic Communication Complexity. - Simon Mackenzie; Abdallah Saffidine (STOC, 2025)

A Piecewise Approach for the Analysis of Exact Algorithms. - Katie Clinch; Serge Gaspers; Zixu He; Abdallah Saffidine; Tiankuang Zhang (WALCOM, 2025)

Polynomial Prenexing of QBFs with Non-Monotone Boolean Operators. - Abdallah Saffidine; Andreas Herzig (CoRR, 2025)