Abdallah Saffidine
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
32
Venues
17
Active years
2011–2025
Best venue rank
A*
Where they publish
Papers
32 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ALENEX | Constructions, Bounds, and Algorithms for Peaceable Queens. | Katie Clinch, Matthew Drescher, Tony Huynh, Abdallah Saffidine |
| 2025 | KR | Repairing General Game Descriptions. | Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher |
| 2025 | STOC | Refuting the Direct Sum Conjecture for Total Functions in Deterministic Communication Complexity. | Simon Mackenzie, Abdallah Saffidine |
| 2025 | WALCOM | A Piecewise Approach for the Analysis of Exact Algorithms. | Katie Clinch, Serge Gaspers, Zixu He, Abdallah Saffidine, Tiankuang Zhang |
| 2024 | ECAI | Enhancing Reinforcement Learning Through Guided Search. | Jrme Arjonilla, Abdallah Saffidine, Tristan Cazenave |
| 2024 | ICAART | Lazy Nested Monte Carlo Search for Coalition Structure Generation. | Milo Roucairol, Jrme Arjonilla, Abdallah Saffidine, Tristan Cazenave |
| 2024 | KR | Verification of General Games with Imperfect Information Using Strategy Logic. | Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher |
| 2024 | MFCS | Generalizing Roberts' Characterization of Unit Interval Graphs. | Virginia Ardvol Martnez, Romeo Rizzi, Abdallah Saffidine, Florian Sikora, Stphane Vialette |
| 2022 | SAT | QBF Programming with the Modeling Language Bule. | Jean Christoph Jung, Valentin Mayer-Eichberger, Abdallah Saffidine |
| 2020 | SAT | Positional Games and QBF: The Corrective Encoding. | Valentin Mayer-Eichberger, Abdallah Saffidine |
| 2018 | AAAI | Minesweeper with Limited Moves. | Serge Gaspers, Stefan Rmmele, Abdallah Saffidine, Kevin Tran |
| 2018 | AAAI | Knowledge-Based Policies for Qualitative Decentralized POMDPs. | Abdallah Saffidine, Franois Schwarzentruber, Bruno Zanuttini |
| 2018 | AIES | Fairness in Deceased Organ Matching. | Nicholas Mattei, Abdallah Saffidine, Toby Walsh |
| 2018 | IJCAI | The Complexity of Limited Belief Reasoning - The Quantifier-Free Case. | Yijia Chen, Abdallah Saffidine, Christoph Schwering |
| 2018 | SAGT | Constrained Swap Dynamics over a Social Network in Distributed Resource Reallocation. | Abdallah Saffidine, Analle Wilczynski |
| 2018 | SoCS | Bounded Suboptimal Game Tree Search. | Dor Atzmon, Roni Stern, Abdallah Saffidine |
| 2017 | ICALP | The Parameterized Complexity of Positional Games. | douard Bonnet, Serge Gaspers, Antonin Lambilliotte, Stefan Rmmele, Abdallah Saffidine |
| 2017 | IJCAI | Mechanisms for Online Organ Matching. | Nicholas Mattei, Abdallah Saffidine, Toby Walsh |
| 2017 | IJCAI | A Study of Forward Versus Backwards Endgame Solvers with Results in Chinese Checkers. | Nathan R. Sturtevant, Abdallah Saffidine |
| 2016 | AAAI | Nested Monte Carlo Search for Two-Player Games. | Tristan Cazenave, Abdallah Saffidine, Michael John Schofield, Michael Thielscher |
| 2015 | SoCS | A Preliminary Selection of Problems in Heuristic Search. | Carlos Linares Lpez, Abdallah Saffidine |
| 2014 | AAAI | Solving the Inferential Frame Problem in the General Game Description Language. | Javier Romero Dvila, Abdallah Saffidine, Michael Thielscher |
| 2014 | ECAI | On the Complexity of General Game Playing. | douard Bonnet, Abdallah Saffidine |
| 2014 | ECAI | A Systematic Solution to the (De-)Composition Problem in General Game Playing. | Timothy Joseph Cerexhe, David Rajaratnam, Abdallah Saffidine, Michael Thielscher |
| 2013 | IJCAI | On the Complexity of Trick-Taking Card Games. | Edouard Bonnet, Florian Jamain, Abdallah Saffidine |
| 2013 | IJCAI | Monte Carlo *-Minimax Search. | Marc Lanctot, Abdallah Saffidine, Joel Veness, Christopher Archibald, Mark H. M. Winands |
| 2013 | TARK | Strategic voting and the logic of knowledge. | Hans van Ditmarsch, Jrme Lang, Abdallah Saffidine |
| 2012 | AAAI | Alpha-Beta Pruning for Games with Simultaneous Moves. | Abdallah Saffidine, Hilmar Finnsson, Michael Buro |
| 2012 | AAMAS | Strategic voting and the logic of knowledge. | Hans van Ditmarsch, Jrme Lang, Abdallah Saffidine |
| 2012 | ECAI | Multiple-Outcome Proof Number Search. | Abdallah Saffidine, Tristan Cazenave |
| 2012 | JELIA | Minimal Proof Search for Modal Logic K Model Checking. | Abdallah Saffidine |
| 2011 | IJCAI | Choosing Collectively Optimal Sets of Alternatives Based on the Condorcet Criterion. | Edith Elkind, Jrme Lang, Abdallah Saffidine |