Abdallah Saffidine

101 papers A* 14A 9B 7C 3Journal 43Unranked 21

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A piecewise approach for the analysis of exact algorithms. Theor. Comput. Sci. Katie Clinch, Serge Gaspers, Zixu He, Abdallah Saffidine, Tiankuang Zhang
2025	B	`conf`	A Piecewise Approach for the Analysis of Exact Algorithms. WALCOM Katie Clinch, Serge Gaspers, Zixu He, Abdallah Saffidine, Tiankuang Zhang
2025	A	`conf`	Constructions, Bounds, and Algorithms for Peaceable Queens. ALENEX Katie Clinch, Matthew Drescher, Tony Huynh, Abdallah Saffidine
2025	J	`jnl`	Polynomial Prenexing of QBFs with Non-Monotone Boolean Operators. CoRR Abdallah Saffidine, Andreas Herzig
2025	A*	`conf`	Refuting the Direct Sum Conjecture for Total Functions in Deterministic Communication Complexity. STOC Simon Mackenzie, Abdallah Saffidine
2025	J	`jnl`	Repairing General Game Descriptions (extended version). CoRR Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher
2025	A*	`conf`	Repairing General Game Descriptions. KR Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher
2025	—	`conf`	Verification of General Games with QBF Solvers. NMR Yifan He, Abdallah Saffidine, Michael Thielscher
2024	J	`jnl`	A Piecewise Approach for the Analysis of Exact Algorithms. CoRR Katie Clinch, Serge Gaspers, Abdallah Saffidine, Tiankuang Zhang
2024	J	`jnl`	Constructions, bounds, and algorithms for peaceable queens. CoRR Katie Clinch, Matthew Drescher, Tony Huynh, Abdallah Saffidine
2024	J	`jnl`	Deep Reinforcement Learning for 5*5 Multiplayer Go. CoRR Brahim Driss, Jérôme Arjonilla, Hui Wang, Abdallah Saffidine, Tristan Cazenave
2024	A	`conf`	Enhancing Reinforcement Learning Through Guided Search. ECAI Jérôme Arjonilla, Abdallah Saffidine, Tristan Cazenave
2024	J	`jnl`	Enhancing Reinforcement Learning Through Guided Search. CoRR Jérôme Arjonilla, Abdallah Saffidine, Tristan Cazenave
2024	J	`jnl`	Fair Railway Network Design. CoRR Zixu He, Sirin Botan, Jérôme Lang, Abdallah Saffidine, Florian Sikora, Silas Workman
2024	B	`conf`	Generalizing Roberts' Characterization of Unit Interval Graphs. MFCS Virginia Ardévol Martínez, Romeo Rizzi, Abdallah Saffidine, Florian Sikora, Stéphane Vialette
2024	J	`jnl`	Generalizing Roberts' characterization of unit interval graphs. CoRR Virginia Ardévol Martínez, Romeo Rizzi, Abdallah Saffidine, Florian Sikora, Stéphane Vialette
2024	J	`jnl`	HSVI Can Solve Zero-Sum Partially Observable Stochastic Games. Dyn. Games Appl. Aurélien Delage, Olivier Buffet, Jilles Steeve Dibangoye, Abdallah Saffidine
2024	—	`conf`	Lazy Nested Monte Carlo Search for Coalition Structure Generation. ICAART (2) Milo Roucairol, Jérôme Arjonilla, Abdallah Saffidine, Tristan Cazenave
2024	J	`jnl`	Mixture of Public and Private Distributions in Imperfect Information Games. CoRR Jérôme Arjonilla, Abdallah Saffidine, Tristan Cazenave
2024	C	`conf`	Perfect Information Monte Carlo with Postponing Reasoning. CoG Jérôme Arjonilla, Abdallah Saffidine, Tristan Cazenave
2024	J	`jnl`	Perfect Information Monte Carlo with Postponing Reasoning. CoRR Jérôme Arjonilla, Abdallah Saffidine, Tristan Cazenave
2024	J	`jnl`	Refuting the Direct Sum Conjecture for Total Functions in Deterministic Communication Complexity. CoRR Simon Mackenzie, Abdallah Saffidine
2024	A	`conf`	Solving Two-player Games with QBF Solvers in General Game Playing. AAMAS Yifan He, Abdallah Saffidine, Michael Thielscher
2024	A*	`conf`	Verification of General Games with Imperfect Information Using Strategy Logic. KR Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher
2024	—	`conf`	Vision Transformers for Computer Go. EvoApplications@EvoStar Amani Sagri, Tristan Cazenave, Jérôme Arjonilla, Abdallah Saffidine
2023	—	`conf`	Deep Reinforcement Learning for 5 ˟ 5 Multiplayer Go. EvoApplications@EvoStar Brahim Driss, Jérôme Arjonilla, Hui Wang, Abdallah Saffidine, Tristan Cazenave
2023	—	`conf`	Implicit QBF Encodings for Positional Games. ACG Irfansha Shaik, Valentin Mayer-Eichberger, Jaco van de Pol, Abdallah Saffidine
2023	J	`jnl`	Implicit State and Goals in QBF Encodings for Positional Games (extended version). CoRR Irfansha Shaik, Valentin Mayer-Eichberger, Jaco van de Pol, Abdallah Saffidine
2023	C	`conf`	Mixture of Public and Private Distributions in Imperfect Information Games. CoG Jérôme Arjonilla, Abdallah Saffidine, Tristan Cazenave
2023	—	`conf`	Mixture of Public and Private Distributions in Imperfect Information Games. JIAF Jérôme Arjonilla, Tristan Cazenave, Abdallah Saffidine
2023	—	`conf`	Towards Tackling MaxSAT by Combining Nested Monte Carlo with Local Search. LION Hui Wang, Abdallah Saffidine, Tristan Cazenave
2023	J	`jnl`	Towards Tackling MaxSAT by Combining Nested Monte Carlo with Local Search. CoRR Hui Wang, Abdallah Saffidine, Tristan Cazenave
2023	J	`jnl`	Vision Transformers for Computer Go. CoRR Amani Sagri, Tristan Cazenave, Jérôme Arjonilla, Abdallah Saffidine
2022	J	`jnl`	HSVI can solve zero-sum Partially Observable Stochastic Games. CoRR Aurélien Delage, Olivier Buffet, Jilles Steeve Dibangoye, Abdallah Saffidine
2022	A	`conf`	QBF Programming with the Modeling Language Bule. SAT Jean Christoph Jung, Valentin Mayer-Eichberger, Abdallah Saffidine
2022	—	`conf`	QBF Solving Using Best First Search. CG Yifan He, Abdallah Saffidine
2021	J	`jnl`	Heuristic Search Value Iteration for Zero-Sum Stochastic Games. IEEE Trans. Games Olivier Buffet, Jilles Dibangoye, Abdallah Saffidine, Vincent Thomas
2021	J	`jnl`	Heuristic search for one-to-many shortest path queries. Ann. Math. Artif. Intell. Roni Stern, Meir Goldenberg, Abdallah Saffidine, Ariel Felner
2021	J	`jnl`	Safe Multi-Agent Pathfinding with Time Uncertainty. J. Artif. Intell. Res. Tomer Shahar, Shashank Shekhar, Dor Atzmon, Abdallah Saffidine, Brendan Juba, Roni Stern
2020	—	`ed.`	Advances in Computer Games - 16th International Conference, ACG 2019, Macao, China, August 11-13, 2019, Revised Selected Papers ACG Tristan Cazenave, H. Jaap van den Herik, Abdallah Saffidine, I-Chen Wu
2020	J	`jnl`	Knowledge-based programs as succinct policies for partially observable domains. Artif. Intell. Bruno Zanuttini, Jérôme Lang, Abdallah Saffidine, François Schwarzentruber
2020	J	`jnl`	On Bellman's Optimality Principle for zs-POSGs. CoRR Olivier Buffet, Jilles Dibangoye, Aurélien Delage, Abdallah Saffidine, Vincent Thomas
2020	A	`conf`	Peer Reviewing in Participatory Guarantee Systems: Modelisation and Algorithmic Aspects. AAMAS Nathanaël Barrot, Sylvaine Lemeilleur, Nicolas Paget, Abdallah Saffidine
2020	A	`conf`	Positional Games and QBF: The Corrective Encoding. SAT Valentin Mayer-Eichberger, Abdallah Saffidine
2020	J	`jnl`	Positional Games and QBF: The Corrective Encoding. CoRR Valentin Mayer-Eichberger, Abdallah Saffidine
2020	J	`jnl`	The ACG 2019 Conference. ICGA J. Tristan Cazenave, H. Jaap van den Herik, Abdallah Saffidine, I-Chen Wu
2019	—	`ed.`	Computer Games - 7th Workshop, CGW 2018, Held in Conjunction with the 27th International Conference on Artificial Intelligence, IJCAI 2018, Stockholm, Sweden, July 13, 2018, Revised Selected Papers CGW@IJCAI Tristan Cazenave, Abdallah Saffidine, Nathan R. Sturtevant
2019	J	`jnl`	Computer Games Workshop at IJCAI 2018. ICGA J. Tristan Cazenave, Abdallah Saffidine, Nathan R. Sturtevant
2019	J	`jnl`	Foundations of Digital Archæoludology. CoRR 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
2019	J	`jnl`	On the Complexity of Minimizing Median Normal Forms of Monotone Boolean Functions and Lattice Polynomials. J. Multiple Valued Log. Soft Comput. Miguel Couceiro, Pierre Mercuriali, Romain Péchoux, Abdallah Saffidine
2019	J	`jnl`	The Packed Interval Covering Problem is NP-complete. CoRR Abdallah Saffidine, Sébastien Lê Cong, Sophie Pinchinat, François Schwarzentruber
2018	B	`conf`	Bounded Suboptimal Game Tree Search. SOCS Dor Atzmon, Roni Stern, Abdallah Saffidine
2018	—	`ed.`	Computer Games - 6th Workshop, CGW 2017, Held in Conjunction with the 26th International Conference on Artificial Intelligence, IJCAI 2017, Melbourne, VIC, Australia, August, 20, 2017, Revised Selected Papers CGW@IJCAI Tristan Cazenave, Mark H. M. Winands, Abdallah Saffidine
2018	B	`conf`	Constrained Swap Dynamics over a Social Network in Distributed Resource Reallocation. SAGT Abdallah Saffidine, Anaëlle Wilczynski
2018	C	`conf`	Fairness in Deceased Organ Matching. AIES Nicholas Mattei, Abdallah Saffidine, Toby Walsh
2018	J	`jnl`	How does uncertainty about other voters determine a strategic vote? CoRR Zeinab Bakhtiari, Hans van Ditmarsch, Abdallah Saffidine
2018	A*	`conf`	Knowledge-Based Policies for Qualitative Decentralized POMDPs. AAAI Abdallah Saffidine, François Schwarzentruber, Bruno Zanuttini
2018	A*	`conf`	Minesweeper with Limited Moves. AAAI Serge Gaspers, Stefan Rümmele, Abdallah Saffidine, Kevin Tran
2018	—	`conf`	Recherche heuristique pour jeux stochastiques (à somme nulle). JFPDA Olivier Buffet, Jilles Steeve Dibangoye, Abdallah Saffidine, Vincent Thomas
2018	A*	`conf`	The Complexity of Limited Belief Reasoning - The Quantifier-Free Case. IJCAI Yijia Chen, Abdallah Saffidine, Christoph Schwering
2018	J	`jnl`	The Complexity of Limited Belief Reasoning - The Quantifier-Free Case. CoRR Yijia Chen, Abdallah Saffidine, Christoph Schwering
2017	—	`conf`	A Study of Forward Versus Backwards Endgame Solvers with Results in Chinese Checkers. CGW@IJCAI Nathan R. Sturtevant, Abdallah Saffidine
2017	A*	`conf`	Mechanisms for Online Organ Matching. IJCAI Nicholas Mattei, Abdallah Saffidine, Toby Walsh
2017	—	`conf`	Median Based Calculus for Lattice Polynomials and Monotone Boolean Functions. ISMVL Miguel Couceiro, Pierre Mercuriali, Romain Péchoux, Abdallah Saffidine
2017	J	`jnl`	Positional scoring-based allocation of indivisible goods. Auton. Agents Multi Agent Syst. Dorothea Baumeister, Sylvain Bouveret, Jérôme Lang, Nhan-Tam Nguyen, Trung Thanh Nguyen, Jörg Rothe, Abdallah Saffidine
2017	A*	`conf`	The Parameterized Complexity of Positional Games. ICALP Édouard Bonnet, Serge Gaspers, Antonin Lambilliotte, Stefan Rümmele, Abdallah Saffidine
2017	J	`jnl`	The Parameterized Complexity of Positional Games. CoRR Édouard Bonnet, Serge Gaspers, Antonin Lambilliotte, Stefan Rümmele, Abdallah Saffidine
2016	A*	`conf`	Nested Monte Carlo Search for Two-Player Games. AAAI Tristan Cazenave, Abdallah Saffidine, Michael John Schofield, Michael Thielscher
2016	J	`jnl`	On the Complexity of Connection Games. CoRR Édouard Bonnet, Florian Jamain, Abdallah Saffidine
2016	J	`jnl`	On the complexity of connection games. Theor. Comput. Sci. Édouard Bonnet, Florian Jamain, Abdallah Saffidine
2015	B	`conf`	A Preliminary Selection of Problems in Heuristic Search. SOCS Carlos Linares López, Abdallah Saffidine
2015	J	`jnl`	Condorcet winning sets. Soc. Choice Welf. Edith Elkind, Jérôme Lang, Abdallah Saffidine
2015	—	`conf`	Depth, balancing, and limits of the Elo model. CIG Marie-Liesse Cauwet, Olivier Teytaud, Tristan Cazenave, Abdallah Saffidine, Hua-Min Liang, Shi-Jim Yen, Hung-Hsuan Lin, I-Chen Wu
2015	J	`jnl`	Depth, balancing, and limits of the Elo model. CoRR Marie-Liesse Cauwet, Olivier Teytaud, Hua-Min Liang, Shi-Jim Yen, Hung-Hsuan Lin, I-Chen Wu, Tristan Cazenave, Abdallah Saffidine
2015	—	`conf`	Draws, Zugzwangs, and PSPACE-Completeness in the Slither Connection Game. ACG Edouard Bonnet, Florian Jamain, Abdallah Saffidine
2015	—	`conf`	Go Complexities. ACG Abdallah Saffidine, Olivier Teytaud, Shi-Jim Yen
2014	A	`conf`	A Systematic Solution to the (De-)Composition Problem in General Game Playing. ECAI Timothy Joseph Cerexhe, David Rajaratnam, Abdallah Saffidine, Michael Thielscher
2014	J	`jnl`	Havannah and TwixT are PSPACE-complete. CoRR Edouard Bonnet, Florian Jamain, Abdallah Saffidine
2014	—	`conf`	On the Complexity of General Game Playing. CGW@ECAI Édouard Bonnet, Abdallah Saffidine
2014	A*	`conf`	Solving the Inferential Frame Problem in the General Game Description Language. AAAI Javier Romero Dávila, Abdallah Saffidine, Michael Thielscher
2014	J	`jnl`	The Game Description Language Is Turing Complete. IEEE Trans. Comput. Intell. AI Games Abdallah Saffidine
2013	—	`conf`	Developments on Product Propagation. Computers and Games Abdallah Saffidine, Tristan Cazenave
2013	—	`conf`	Havannah and TwixT are PSPACE-complete. Computers and Games Edouard Bonnet, Florian Jamain, Abdallah Saffidine
2013	—	`conf`	Material Symmetry to Partition Endgame Tables. Computers and Games Abdallah Saffidine, Nicolas Jouandeau, Cédric L. R. Buron, Tristan Cazenave
2013	J	`jnl`	Monte Carlo *-Minimax Search CoRR Marc Lanctot, Abdallah Saffidine, Joel Veness, Christopher Archibald, Mark H. M. Winands
2013	A*	`conf`	Monte Carlo *-Minimax Search. IJCAI Marc Lanctot, Abdallah Saffidine, Joel Veness, Christopher Archibald, Mark H. M. Winands
2013	A*	`conf`	On the Complexity of Trick-Taking Card Games. IJCAI Edouard Bonnet, Florian Jamain, Abdallah Saffidine
2013	—	`—`	Solving Games and All That. (Résoudre les jeux et le reste). Abdallah Saffidine
2013	J	`jnl`	Strategic Voting and the Logic of Knowledge. CoRR Hans van Ditmarsch, Jérôme Lang, Abdallah Saffidine
2013	B	`conf`	Strategic voting and the logic of knowledge. TARK Hans van Ditmarsch, Jérôme Lang, Abdallah Saffidine
2012	A*	`conf`	Alpha-Beta Pruning for Games with Simultaneous Moves. AAAI Abdallah Saffidine, Hilmar Finnsson, Michael Buro
2012	—	`conf`	Fast Heuristic Search for RTS Game Combat Scenarios. AIIDE David Churchill, Abdallah Saffidine, Michael Buro
2012	J	`jnl`	Minimal Proof Search for Modal Logic K Model Checking CoRR Abdallah Saffidine
2012	B	`conf`	Minimal Proof Search for Modal Logic K Model Checking. JELIA Abdallah Saffidine
2012	A	`conf`	Multiple-Outcome Proof Number Search. ECAI Abdallah Saffidine, Tristan Cazenave
2012	A	`conf`	Strategic voting and the logic of knowledge. AAMAS Hans van Ditmarsch, Jérôme Lang, Abdallah Saffidine
2012	J	`jnl`	UCD : Upper confidence bound for rooted directed acyclic graphs. Knowl. Based Syst. Abdallah Saffidine, Tristan Cazenave, Jean Méhat
2011	A*	`conf`	Choosing Collectively Optimal Sets of Alternatives Based on the Condorcet Criterion. IJCAI Edith Elkind, Jérôme Lang, Abdallah Saffidine
2011	—	`conf`	Solving breakthrough with Race Patterns and Job-Level Proof Number Search. ACG Abdallah Saffidine, Nicolas Jouandeau, Tristan Cazenave
2010	—	`conf`	Score Bounded Monte-Carlo Tree Search. Computers and Games Tristan Cazenave, Abdallah Saffidine
2009	J	`jnl`	Utilisation de la recherche arborescente Monte-Carlo au Hex. Rev. d'Intelligence Artif. Tristan Cazenave, Abdallah Saffidine