Abdallah Saffidine

According to our database, Abdallah Saffidine authored at least 70 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

HSVI Can Solve Zero-Sum Partially Observable Stochastic Games.

Aurélien Delage, Olivier Buffet, Jilles Steeve Dibangoye, Abdallah Saffidine

Dyn. Games Appl., September, 2024

Fair Railway Network Design.

Zixu He, Sirin Botan, Jérôme Lang, Abdallah Saffidine, Florian Sikora, Silas Workman

CoRR, 2024

Constructions, bounds, and algorithms for peaceable queens.

Katie Clinch, Matthew Drescher, Tony Huynh, Abdallah Saffidine

CoRR, 2024

A Piecewise Approach for the Analysis of Exact Algorithms.

Katie Clinch, Serge Gaspers, Abdallah Saffidine, Tiankuang Zhang

CoRR, 2024

Generalizing Roberts' Characterization of Unit Interval Graphs.

Virginia Ardévol Martínez, Romeo Rizzi, Abdallah Saffidine, Florian Sikora, Stéphane Vialette

Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024

Verification of General Games with Imperfect Information Using Strategy Logic.

Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

Lazy Nested Monte Carlo Search for Coalition Structure Generation.

Milo Roucairol, Jérôme Arjonilla, Abdallah Saffidine, Tristan Cazenave

Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024

Vision Transformers for Computer Go.

Amani Sagri, Tristan Cazenave, Jérôme Arjonilla, Abdallah Saffidine

Proceedings of the Applications of Evolutionary Computation - 27th European Conference, 2024

Enhancing Reinforcement Learning Through Guided Search.

Jérôme Arjonilla, Abdallah Saffidine, Tristan Cazenave

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

Perfect Information Monte Carlo with Postponing Reasoning.

Jérôme Arjonilla, Abdallah Saffidine, Tristan Cazenave

Proceedings of the IEEE Conference on Games, 2024

Solving Two-player Games with QBF Solvers in General Game Playing.

Yifan He, Abdallah Saffidine, Michael Thielscher

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

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

Towards Tackling MaxSAT by Combining Nested Monte Carlo with Local Search.

Hui Wang, Abdallah Saffidine, Tristan Cazenave

Proceedings of the Learning and Intelligent Optimization - 17th International Conference, 2023

Mixture of Public and Private Distributions in Imperfect Information Games.

Jérôme Arjonilla, Tristan Cazenave, Abdallah Saffidine

Proceedings of the 17èmes Journées d'Intelligence Artificielle Fondamentale, 2023

Deep Reinforcement Learning for 5 ˟ 5 Multiplayer Go.

Brahim Driss, Jérôme Arjonilla, Hui Wang, Abdallah Saffidine, Tristan Cazenave

Proceedings of the Applications of Evolutionary Computation - 26th European Conference, 2023

Implicit QBF Encodings for Positional Games.

Irfansha Shaik, Valentin Mayer-Eichberger, Jaco van de Pol, Abdallah Saffidine

Proceedings of the Advances in Computer Games - 18th International Conference, 2023

2022

QBF Programming with the Modeling Language Bule.

Jean Christoph Jung, Valentin Mayer-Eichberger, Abdallah Saffidine

Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

QBF Solving Using Best First Search.

Yifan He, Abdallah Saffidine

Proceedings of the Computers and Games - International Conference, 2022

2021

Heuristic Search Value Iteration for Zero-Sum Stochastic Games.

Olivier Buffet, Jilles Dibangoye, Abdallah Saffidine, Vincent Thomas

IEEE Trans. Games, 2021

Safe Multi-Agent Pathfinding with Time Uncertainty.

Tomer Shahar, Shashank Shekhar, Dor Atzmon, Abdallah Saffidine, Brendan Juba, Roni Stern

J. Artif. Intell. Res., 2021

Heuristic search for one-to-many shortest path queries.

Roni Stern, Meir Goldenberg, Abdallah Saffidine, Ariel Felner

Ann. Math. Artif. Intell., 2021

2020

The ACG 2019 Conference.

Tristan Cazenave, H. Jaap van den Herik, Abdallah Saffidine, I-Chen Wu

J. Int. Comput. Games Assoc., 2020

On Bellman's Optimality Principle for zs-POSGs.

Olivier Buffet, Jilles Dibangoye, Aurélien Delage, Abdallah Saffidine, Vincent Thomas

CoRR, 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

Positional Games and QBF: The Corrective Encoding.

Valentin Mayer-Eichberger, Abdallah Saffidine

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

Peer Reviewing in Participatory Guarantee Systems: Modelisation and Algorithmic Aspects.

Nathanaël Barrot, Sylvaine Lemeilleur, Nicolas Paget, Abdallah Saffidine

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

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

Computer Games Workshop at IJCAI 2018.

Tristan Cazenave, Abdallah Saffidine, Nathan R. Sturtevant

J. Int. Comput. Games Assoc., 2019

The Packed Interval Covering Problem is NP-complete.

Abdallah Saffidine, Sébastien Lê Cong, Sophie Pinchinat, François Schwarzentruber

CoRR, 2019

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, David Parlett, Abdallah Saffidine, Ulrich Schädler, Jorge Nuno Silva, Alex de Voogt, Mark H. M. Winands

CoRR, 2019

2018

How does uncertainty about other voters determine a strategic vote?

Zeinab Bakhtiari, Hans van Ditmarsch, Abdallah Saffidine

CoRR, 2018

Bounded Suboptimal Game Tree Search.

Dor Atzmon, Roni Stern, Abdallah Saffidine

Proceedings of the Eleventh International Symposium on Combinatorial Search, 2018

Constrained Swap Dynamics over a Social Network in Distributed Resource Reallocation.

Abdallah Saffidine, Anaëlle Wilczynski

Proceedings of the Algorithmic Game Theory - 11th International Symposium, 2018

Recherche heuristique pour jeux stochastiques (à somme nulle).

Olivier Buffet, Jilles Steeve Dibangoye, Abdallah Saffidine, Vincent Thomas

Proceedings of the Journées Francophone Planification, 2018

The Complexity of Limited Belief Reasoning - The Quantifier-Free Case.

Yijia Chen, Abdallah Saffidine, Christoph Schwering

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Fairness in Deceased Organ Matching.

Nicholas Mattei, Abdallah Saffidine, Toby Walsh

Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, 2018

Knowledge-Based Policies for Qualitative Decentralized POMDPs.

Abdallah Saffidine, François Schwarzentruber, Bruno Zanuttini

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Minesweeper with Limited Moves.

Serge Gaspers, Stefan Rümmele, Abdallah Saffidine, Kevin Tran

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Positional scoring-based allocation of indivisible goods.

Dorothea Baumeister, Sylvain Bouveret, Jérôme Lang, Nhan-Tam Nguyen, Trung Thanh Nguyen, Jörg Rothe, Abdallah Saffidine

Auton. Agents Multi Agent Syst., 2017

Median Based Calculus for Lattice Polynomials and Monotone Boolean Functions.

Miguel Couceiro, Pierre Mercuriali, Romain Péchoux, Abdallah Saffidine

Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic, 2017

A Study of Forward Versus Backwards Endgame Solvers with Results in Chinese Checkers.

Nathan R. Sturtevant, Abdallah Saffidine

Proceedings of the Computer Games - 6th Workshop, 2017

Mechanisms for Online Organ Matching.

Nicholas Mattei, Abdallah Saffidine, Toby Walsh

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

The Parameterized Complexity of Positional Games.

Édouard Bonnet, Serge Gaspers, Antonin Lambilliotte, Stefan Rümmele, Abdallah Saffidine

Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

2016

On the complexity of connection games.

Édouard Bonnet, Florian Jamain, Abdallah Saffidine

Theor. Comput. Sci., 2016

Nested Monte Carlo Search for Two-Player Games.

Tristan Cazenave, Abdallah Saffidine, Michael John Schofield, Michael Thielscher

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Condorcet winning sets.

Edith Elkind, Jérôme Lang, Abdallah Saffidine

Soc. Choice Welf., 2015

A Preliminary Selection of Problems in Heuristic Search.

Carlos Linares López, Abdallah Saffidine

Proceedings of the Eighth Annual Symposium on Combinatorial Search, 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

Proceedings of the 2015 IEEE Conference on Computational Intelligence and Games, 2015

Go Complexities.

Abdallah Saffidine, Olivier Teytaud, Shi-Jim Yen

Proceedings of the Advances in Computer Games - 14th International Conference, 2015

Draws, Zugzwangs, and PSPACE-Completeness in the Slither Connection Game.

Edouard Bonnet, Florian Jamain, Abdallah Saffidine

Proceedings of the Advances in Computer Games - 14th International Conference, 2015

2014

The Game Description Language Is Turing Complete.

Abdallah Saffidine

IEEE Trans. Comput. Intell. AI Games, 2014

A Systematic Solution to the (De-)Composition Problem in General Game Playing.

Timothy Joseph Cerexhe, David Rajaratnam, Abdallah Saffidine, Michael Thielscher

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

On the Complexity of General Game Playing.

Édouard Bonnet, Abdallah Saffidine

Proceedings of the Computer Games - Third Workshop on Computer Games, 2014

Solving the Inferential Frame Problem in the General Game Description Language.

Javier Romero Davila, Abdallah Saffidine, Michael Thielscher

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

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

Abdallah Saffidine

PhD thesis, 2013

Monte Carlo *-Minimax Search.

Marc Lanctot, Abdallah Saffidine, Joel Veness, Christopher Archibald, Mark H. M. Winands

Proceedings of the IJCAI 2013, 2013

On the Complexity of Trick-Taking Card Games.

Edouard Bonnet, Florian Jamain, Abdallah Saffidine

Proceedings of the IJCAI 2013, 2013

Material Symmetry to Partition Endgame Tables.

Abdallah Saffidine, Nicolas Jouandeau, Cédric L. R. Buron, Tristan Cazenave

Proceedings of the Computers and Games - 8th International Conference, 2013

Developments on Product Propagation.

Abdallah Saffidine, Tristan Cazenave

Proceedings of the Computers and Games - 8th International Conference, 2013

Havannah and TwixT are PSPACE-complete.

Edouard Bonnet, Florian Jamain, Abdallah Saffidine

Proceedings of the Computers and Games - 8th International Conference, 2013

2012

UCD : Upper confidence bound for rooted directed acyclic graphs.

Abdallah Saffidine, Tristan Cazenave, Jean Méhat

Knowl. Based Syst., 2012

Minimal Proof Search for Modal Logic K Model Checking.

Abdallah Saffidine

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Multiple-Outcome Proof Number Search.

Abdallah Saffidine, Tristan Cazenave

Proceedings of the ECAI 2012, 2012

Fast Heuristic Search for RTS Game Combat Scenarios.

David Churchill, Abdallah Saffidine, Michael Buro

Proceedings of the Eighth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 2012

Strategic voting and the logic of knowledge.

Hans van Ditmarsch, Jérôme Lang, Abdallah Saffidine

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

Alpha-Beta Pruning for Games with Simultaneous Moves.

Abdallah Saffidine, Hilmar Finnsson, Michael Buro

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

Choosing Collectively Optimal Sets of Alternatives Based on the Condorcet Criterion.

Edith Elkind, Jérôme Lang, Abdallah Saffidine

Proceedings of the IJCAI 2011, 2011

Solving breakthrough with Race Patterns and Job-Level Proof Number Search.

Abdallah Saffidine, Nicolas Jouandeau, Tristan Cazenave

Proceedings of the Advances in Computer Games - 13th International Conference, 2011

2010

Score Bounded Monte-Carlo Tree Search.

Tristan Cazenave, Abdallah Saffidine

Proceedings of the Computers and Games - 7th International Conference, 2010

2009

Utilisation de la recherche arborescente Monte-Carlo au Hex.

Tristan Cazenave, Abdallah Saffidine

Rev. d'Intelligence Artif., 2009