default search action
Abdallah Saffidine
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j14]Aurélien Delage, Olivier Buffet, Jilles Steeve Dibangoye, Abdallah Saffidine:
HSVI Can Solve Zero-Sum Partially Observable Stochastic Games. Dyn. Games Appl. 14(4): 751-805 (2024) - [c48]Yifan He, Abdallah Saffidine, Michael Thielscher:
Solving Two-player Games with QBF Solvers in General Game Playing. AAMAS 2024: 807-815 - [c47]Jérôme Arjonilla, Abdallah Saffidine, Tristan Cazenave:
Perfect Information Monte Carlo with Postponing Reasoning. CoG 2024: 1-8 - [c46]Jérôme Arjonilla, Abdallah Saffidine
, Tristan Cazenave
Enhancing Reinforcement Learning Through Guided Search. ECAI 2024: 1840-1847 - [c45]Amani Sagri, Tristan Cazenave, Jérôme Arjonilla, Abdallah Saffidine:
Vision Transformers for Computer Go. EvoApplications@EvoStar 2024: 376-388 - [c44]Milo Roucairol, Jérôme Arjonilla, Abdallah Saffidine, Tristan Cazenave:
Lazy Nested Monte Carlo Search for Coalition Structure Generation. ICAART (2) 2024: 58-67 - [c43]Virginia Ardévol Martínez, Romeo Rizzi, Abdallah Saffidine, Florian Sikora, Stéphane Vialette:
Generalizing Roberts' Characterization of Unit Interval Graphs. MFCS 2024: 12:1-12:15 - [i25]Katie Clinch
A Piecewise Approach for the Analysis of Exact Algorithms. CoRR abs/2402.10015 (2024) - [i24]Virginia Ardévol Martínez, Romeo Rizzi, Abdallah Saffidine, Florian Sikora, Stéphane Vialette:
Generalizing Roberts' characterization of unit interval graphs. CoRR abs/2404.17872 (2024) - [i23]Brahim Driss, Jérôme Arjonilla, Hui Wang, Abdallah Saffidine, Tristan Cazenave:
Deep Reinforcement Learning for 5*5 Multiplayer Go. CoRR abs/2405.14265 (2024) - [i22]Jérôme Arjonilla, Abdallah Saffidine, Tristan Cazenave:
Mixture of Public and Private Distributions in Imperfect Information Games. CoRR abs/2405.14346 (2024) - [i21]Katie Clinch, Matthew Drescher, Tony Huynh, Abdallah Saffidine:
Constructions, bounds, and algorithms for peaceable queens. CoRR abs/2406.06974 (2024) - [i20]Jérôme Arjonilla, Abdallah Saffidine, Tristan Cazenave:
Perfect Information Monte Carlo with Postponing Reasoning. CoRR abs/2408.02380 (2024) - [i19]Jérôme Arjonilla, Abdallah Saffidine, Tristan Cazenave:
Enhancing Reinforcement Learning Through Guided Search. CoRR abs/2408.10113 (2024) - [i18]Zixu He, Sirin Botan, Jérôme Lang, Abdallah Saffidine, Florian Sikora, Silas Workman:
Fair Railway Network Design. CoRR abs/2409.02152 (2024) - 2023
- [c42]Irfansha Shaik
Implicit QBF Encodings for Positional Games. ACG 2023: 133-145 - [c41]Jérôme Arjonilla, Abdallah Saffidine, Tristan Cazenave:
Mixture of Public and Private Distributions in Imperfect Information Games. CoG 2023: 1-8 - [c40]Brahim Driss, Jérôme Arjonilla, Hui Wang, Abdallah Saffidine, Tristan Cazenave:
Deep Reinforcement Learning for 5 ˟ 5 Multiplayer Go. EvoApplications@EvoStar 2023: 753-764 - [c39]Jérôme Arjonilla, Tristan Cazenave, Abdallah Saffidine:
Mixture of Public and Private Distributions in Imperfect Information Games. JIAF 2023: 189-199 - [c38]Hui Wang, Abdallah Saffidine, Tristan Cazenave:
Towards Tackling MaxSAT by Combining Nested Monte Carlo with Local Search. LION 2023: 332-346 - [i17]Irfansha Shaik
Implicit State and Goals in QBF Encodings for Positional Games (extended version). CoRR abs/2301.07345 (2023) - [i16]Hui Wang, Abdallah Saffidine, Tristan Cazenave:
Towards Tackling MaxSAT by Combining Nested Monte Carlo with Local Search. CoRR abs/2302.13225 (2023) - [i15]Amani Sagri, Tristan Cazenave, Jérôme Arjonilla, Abdallah Saffidine:
Vision Transformers for Computer Go. CoRR abs/2309.12675 (2023) - 2022
- [c37]Yifan He, Abdallah Saffidine:
QBF Solving Using Best First Search. CG 2022: 73-86 - [c36]Jean Christoph Jung, Valentin Mayer-Eichberger, Abdallah Saffidine:
QBF Programming with the Modeling Language Bule. SAT 2022: 31:1-31:14 - [i14]Aurélien Delage, Olivier Buffet, Jilles Steeve Dibangoye, Abdallah Saffidine:
HSVI can solve zero-sum Partially Observable Stochastic Games. CoRR abs/2210.14640 (2022) - 2021
- [j13]Roni Stern
Heuristic search for one-to-many shortest path queries. Ann. Math. Artif. Intell. 89(12): 1175-1214 (2021) - [j12]Tomer Shahar, Shashank Shekhar, Dor Atzmon, Abdallah Saffidine, Brendan Juba, Roni Stern:
Safe Multi-Agent Pathfinding with Time Uncertainty. J. Artif. Intell. Res. 70: 923-954 (2021) - [j11]Olivier Buffet
Heuristic Search Value Iteration for Zero-Sum Stochastic Games. IEEE Trans. Games 13(3): 239-248 (2021) - 2020
- [j10]Bruno Zanuttini, Jérôme Lang, Abdallah Saffidine, François Schwarzentruber:
Knowledge-based programs as succinct policies for partially observable domains. Artif. Intell. 288: 103365 (2020) - [j9]Tristan Cazenave, H. Jaap van den Herik, Abdallah Saffidine, I-Chen Wu:
The ACG 2019 Conference. J. Int. Comput. Games Assoc. 42(4): 291-294 (2020) - [c35]Nathanaël Barrot, Sylvaine Lemeilleur, Nicolas Paget, Abdallah Saffidine:
Peer Reviewing in Participatory Guarantee Systems: Modelisation and Algorithmic Aspects. AAMAS 2020: 114-122 - [c34]Valentin Mayer-Eichberger, Abdallah Saffidine:
Positional Games and QBF: The Corrective Encoding. SAT 2020: 447-463 - [e3]Tristan Cazenave
Advances in Computer Games - 16th International Conference, ACG 2019, Macao, China, August 11-13, 2019, Revised Selected Papers. Lecture Notes in Computer Science 12516, Springer 2020, ISBN 978-3-030-65882-3 [contents] - [i13]Valentin Mayer-Eichberger, Abdallah Saffidine:
Positional Games and QBF: The Corrective Encoding. CoRR abs/2005.05098 (2020) - [i12]Olivier Buffet, Jilles Dibangoye, Aurélien Delage, Abdallah Saffidine, Vincent Thomas:
On Bellman's Optimality Principle for zs-POSGs. CoRR abs/2006.16395 (2020)
2010 – 2019
- 2019
- [j8]Tristan Cazenave, Abdallah Saffidine, Nathan R. Sturtevant:
Computer Games Workshop at IJCAI 2018. J. Int. Comput. Games Assoc. 41(2): 108-109 (2019) - [j7]Miguel Couceiro, Pierre Mercuriali, Romain Péchoux, Abdallah Saffidine:
On the Complexity of Minimizing Median Normal Forms of Monotone Boolean Functions and Lattice Polynomials. J. Multiple Valued Log. Soft Comput. 33(3): 197-218 (2019) - [e2]Tristan Cazenave, Abdallah Saffidine, Nathan R. Sturtevant:
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. Communications in Computer and Information Science 1017, Springer 2019, ISBN 978-3-030-24336-4 [contents] - [i11]Cameron Browne, Dennis J. N. J. Soemers, Éric Piette, Matthew Stephenson, Michael Conrad
Foundations of Digital Archæoludology. CoRR abs/1905.13516 (2019) - [i10]Abdallah Saffidine, Sébastien Lê Cong, Sophie Pinchinat, François Schwarzentruber:
The Packed Interval Covering Problem is NP-complete. CoRR abs/1906.03676 (2019) - 2018
- [c33]Serge Gaspers, Stefan Rümmele, Abdallah Saffidine, Kevin Tran:
Minesweeper with Limited Moves. AAAI 2018: 860-867 - [c32]Abdallah Saffidine, François Schwarzentruber, Bruno Zanuttini:
Knowledge-Based Policies for Qualitative Decentralized POMDPs. AAAI 2018: 6270-6277 - [c31]Nicholas Mattei
Fairness in Deceased Organ Matching. AIES 2018: 236-242 - [c30]Yijia Chen, Abdallah Saffidine, Christoph Schwering:
The Complexity of Limited Belief Reasoning - The Quantifier-Free Case. IJCAI 2018: 1774-1780 - [c29]Olivier Buffet, Jilles Steeve Dibangoye, Abdallah Saffidine, Vincent Thomas:
Recherche heuristique pour jeux stochastiques (à somme nulle). JFPDA 2018 - [c28]Abdallah Saffidine, Anaëlle Wilczynski
Constrained Swap Dynamics over a Social Network in Distributed Resource Reallocation. SAGT 2018: 213-225 - [c27]Dor Atzmon, Roni Stern, Abdallah Saffidine:
Bounded Suboptimal Game Tree Search. SOCS 2018: 10-18 - [e1]Tristan Cazenave, Mark H. M. Winands, Abdallah Saffidine:
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. Communications in Computer and Information Science 818, Springer 2018, ISBN 978-3-319-75930-2 [contents] - [i9]Yijia Chen, Abdallah Saffidine, Christoph Schwering:
The Complexity of Limited Belief Reasoning - The Quantifier-Free Case. CoRR abs/1805.02912 (2018) - [i8]Zeinab Bakhtiari, Hans van Ditmarsch, Abdallah Saffidine:
How does uncertainty about other voters determine a strategic vote? CoRR abs/1809.10489 (2018) - 2017
- [j6]Dorothea Baumeister, Sylvain Bouveret, Jérôme Lang, Nhan-Tam Nguyen
Positional scoring-based allocation of indivisible goods. Auton. Agents Multi Agent Syst. 31(3): 628-655 (2017) - [c26]Édouard Bonnet, Serge Gaspers, Antonin Lambilliotte, Stefan Rümmele, Abdallah Saffidine:
The Parameterized Complexity of Positional Games. ICALP 2017: 90:1-90:14 - [c25]Nathan R. Sturtevant, Abdallah Saffidine:
A Study of Forward Versus Backwards Endgame Solvers with Results in Chinese Checkers. CGW@IJCAI 2017: 121-136 - [c24]Nicholas Mattei
Mechanisms for Online Organ Matching. IJCAI 2017: 345-351 - [c23]Miguel Couceiro
Median Based Calculus for Lattice Polynomials and Monotone Boolean Functions. ISMVL 2017: 37-42 - [i7]Édouard Bonnet, Serge Gaspers, Antonin Lambilliotte, Stefan Rümmele, Abdallah Saffidine:
The Parameterized Complexity of Positional Games. CoRR abs/1704.08536 (2017) - 2016
- [j5]Édouard Bonnet, Florian Jamain, Abdallah Saffidine
On the complexity of connection games. Theor. Comput. Sci. 644: 2-28 (2016) - [c22]Tristan Cazenave, Abdallah Saffidine, Michael John Schofield, Michael Thielscher:
Nested Monte Carlo Search for Two-Player Games. AAAI 2016: 687-693 - [i6]Édouard Bonnet, Florian Jamain, Abdallah Saffidine:
On the Complexity of Connection Games. CoRR abs/1605.04715 (2016) - 2015
- [j4]Edith Elkind, Jérôme Lang, Abdallah Saffidine:
Condorcet winning sets. Soc. Choice Welf. 44(3): 493-517 (2015) - [c21]Abdallah Saffidine, Olivier Teytaud, Shi-Jim Yen:
Go Complexities. ACG 2015: 76-88 - [c20]Edouard Bonnet, Florian Jamain, Abdallah Saffidine:
Draws, Zugzwangs, and PSPACE-Completeness in the Slither Connection Game. ACG 2015: 160-176 - [c19]Marie-Liesse Cauwet, Olivier Teytaud, Tristan Cazenave, Abdallah Saffidine, Hua-Min Liang, Shi-Jim Yen, Hung-Hsuan Lin, I-Chen Wu
Depth, balancing, and limits of the Elo model. CIG 2015: 376-382 - [c18]Carlos Linares López, Abdallah Saffidine:
A Preliminary Selection of Problems in Heuristic Search. SOCS 2015: 186-190 - [i5]Marie-Liesse Cauwet, Olivier Teytaud, Hua-Min Liang, Shi-Jim Yen, Hung-Hsuan Lin, I-Chen Wu, Tristan Cazenave, Abdallah Saffidine:
Depth, balancing, and limits of the Elo model. CoRR abs/1511.02006 (2015) - 2014
- [j3]Abdallah Saffidine:
The Game Description Language Is Turing Complete. IEEE Trans. Comput. Intell. AI Games 6(4): 320-324 (2014) - [c17]Javier Romero Davila, Abdallah Saffidine, Michael Thielscher:
Solving the Inferential Frame Problem in the General Game Description Language. AAAI 2014: 515-521 - [c16]Édouard Bonnet, Abdallah Saffidine:
On the Complexity of General Game Playing. CGW@ECAI 2014: 90-104 - [c15]Timothy Joseph Cerexhe, David Rajaratnam
A Systematic Solution to the (De-)Composition Problem in General Game Playing. ECAI 2014: 195-200 - [i4]Edouard Bonnet, Florian Jamain, Abdallah Saffidine:
Havannah and TwixT are PSPACE-complete. CoRR abs/1403.6518 (2014) - 2013
- [b1]Abdallah Saffidine:
Solving Games and All That. (Résoudre les jeux et le reste). Paris Dauphine University, France, 2013 - [c14]Abdallah Saffidine, Tristan Cazenave:
Developments on Product Propagation. Computers and Games 2013: 100-109 - [c13]Edouard Bonnet, Florian Jamain, Abdallah Saffidine:
Havannah and TwixT are PSPACE-complete. Computers and Games 2013: 175-186 - [c12]Abdallah Saffidine, Nicolas Jouandeau, Cédric L. R. Buron, Tristan Cazenave:
Material Symmetry to Partition Endgame Tables. Computers and Games 2013: 187-198 - [c11]Edouard Bonnet, Florian Jamain, Abdallah Saffidine:
On the Complexity of Trick-Taking Card Games. IJCAI 2013: 482-488 - [c10]Marc Lanctot, Abdallah Saffidine, Joel Veness, Christopher Archibald, Mark H. M. Winands:
Monte Carlo *-Minimax Search. IJCAI 2013: 580-586 - [c9]Hans van Ditmarsch, Jérôme Lang, Abdallah Saffidine:
Strategic voting and the logic of knowledge. TARK 2013 - [i3]Marc Lanctot, Abdallah Saffidine, Joel Veness, Christopher Archibald, Mark H. M. Winands:
Monte Carlo *-Minimax Search. CoRR abs/1304.6057 (2013) - [i2]Hans van Ditmarsch, Jérôme Lang, Abdallah Saffidine:
Strategic Voting and the Logic of Knowledge. CoRR abs/1310.6436 (2013) - 2012
- [j2]Abdallah Saffidine, Tristan Cazenave, Jean Méhat:
UCD : Upper confidence bound for rooted directed acyclic graphs. Knowl. Based Syst. 34: 26-33 (2012) - [c8]Abdallah Saffidine, Hilmar Finnsson, Michael Buro:
Alpha-Beta Pruning for Games with Simultaneous Moves. AAAI 2012: 556-562 - [c7]Hans van Ditmarsch, Jérôme Lang, Abdallah Saffidine:
Strategic voting and the logic of knowledge. AAMAS 2012: 1247-1248 - [c6]David Churchill, Abdallah Saffidine, Michael Buro:
Fast Heuristic Search for RTS Game Combat Scenarios. AIIDE 2012 - [c5]Abdallah Saffidine, Tristan Cazenave:
Multiple-Outcome Proof Number Search. ECAI 2012: 708-713 - [c4]Abdallah Saffidine:
Minimal Proof Search for Modal Logic K Model Checking. JELIA 2012: 346-358 - [i1]Abdallah Saffidine:
Minimal Proof Search for Modal Logic K Model Checking. CoRR abs/1207.1832 (2012) - 2011
- [c3]Abdallah Saffidine, Nicolas Jouandeau, Tristan Cazenave:
Solving breakthrough with Race Patterns and Job-Level Proof Number Search. ACG 2011: 196-207 - [c2]Edith Elkind, Jérôme Lang, Abdallah Saffidine:
Choosing Collectively Optimal Sets of Alternatives Based on the Condorcet Criterion. IJCAI 2011: 186-191 - 2010
- [c1]Tristan Cazenave, Abdallah Saffidine:
Score Bounded Monte-Carlo Tree Search. Computers and Games 2010: 93-104
2000 – 2009
- 2009
- [j1]Tristan Cazenave, Abdallah Saffidine:
Utilisation de la recherche arborescente Monte-Carlo au Hex. Rev. d'Intelligence Artif. 23(2-3): 183-202 (2009)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 20:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: