¶¶Òõ¶ÌÊÓƵ
Back to

Dr Abdallah Saffidine

Lecturer
Engineering
Computer Science and Engineering
  • Books | 2018
    Cazenave T; Winands M; Saffidine A, 2018, Preface
    Books | 2013
    Saffidine A, 2013, Solving Games and All That, Cazenave T, (ed.)
  • Book Chapters | 2023
    Driss B; Arjonilla J; Wang H; Saffidine A; Cazenave T, 2023, 'Deep Reinforcement Learning for 5 × 5 Multiplayer Go', in , pp. 753 - 764,
    Book Chapters | 2019
    Cazenave T; Saffidine A; Sturtevant N, 2019, 'Preface', in , pp. v - vii,
    Book Chapters | 2014
    Bonnet É; Saffidine A, 2014, 'On the Complexity of General Game Playing', in Communications in Computer and Information Science, Springer International Publishing, pp. 90 - 104,
    Book Chapters | 2014
    Saffidine A; Cazenave T, 2014, 'Developments on Product Propagation', in Lecture Notes in Computer Science, Springer International Publishing, pp. 100 - 109,
  • Journal articles | 2024
    Delage A; Buffet O; Dibangoye JS; Saffidine A, 2024, 'HSVI Can Solve Zero-Sum Partially Observable Stochastic Games', Dynamic Games and Applications, 14, pp. 751 - 805,
    Journal articles | 2023
    Sagri A; Cazenave T; Arjonilla J; Saffidine A, 2023, 'Vision Transformers for Computer Go.', CoRR, abs/2309.12675
    Journal articles | 2023
    Shaik I; Mayer-Eichberger V; Pol JVD; Saffidine A, 2023, 'Implicit State and Goals in QBF Encodings for Positional Games (extended version).', CoRR, abs/2301.07345
    Journal articles | 2023
    Wang H; Saffidine A; Cazenave T, 2023, 'Towards Tackling MaxSAT by Combining Nested Monte Carlo with Local Search.', CoRR, abs/2302.13225
    Journal articles | 2021
    Buffet O; Dibangoye J; Saffidine A; Thomas V, 2021, 'Heuristic Search Value Iteration for Zero-Sum Stochastic Games', IEEE Transactions on Games, 13, pp. 239 - 248,
    Journal articles | 2021
    Shahar T; Shekhar S; Atzmon D; Saffidine A; Juba B; Stern R, 2021, 'Safe multi-agent pathfinding with time uncertainty', Journal of Artificial Intelligence Research, 70, pp. 923 - 954,
    Journal articles | 2021
    Stern R; Goldenberg M; Saffidine A; Felner A, 2021, 'Heuristic search for one-to-many shortest path queries', Annals of Mathematics and Artificial Intelligence, 89, pp. 1175 - 1214,
    Journal articles | 2020
    Cazenave T; van den Herik J; Saffidine A; Wu I-C, 2020, 'The ACG 2019 Conference', ICGA Journal, 42, pp. 291 - 294,
    Journal articles | 2020
    Zanuttini B; Lang J; Saffidine A; Schwarzentruber F, 2020, 'Knowledge-based programs as succinct policies for partially observable domains', Artificial Intelligence, 288,
    Journal articles | 2019
    Blair A; Saffidine A, 2019, 'AI surpasses humans at six-player poker', Science, 365, pp. 864 - 865,
    Journal articles | 2019
    Browne C; Soemers DJNJ; Piette É; Stephenson M; Conrad M; Crist W; Depaulis T; Duggan E; Horn F; Kelk S; Lucas SM; Neto JP; Parlett D; Saffidine A; Schädler U; Silva JN; Voogt AD; Winands MHM, 2019, 'Foundations of Digital Archæoludology', ,
    Journal articles | 2019
    Cazenave T; Saffidine A; Sturtevant N, 2019, 'Computer Games Workshop at IJCAI 2018', ICGA JOURNAL, 41, pp. 108 - 109,
    Journal articles | 2019
    Couceiro M; Mercuriali P; Péchoux R; Saffidine A, 2019, 'On the complexity of minimizing median normal forms of monotone Boolean functions and lattice polynomials', Journal of Multiple-Valued Logic and Soft Computing, 33, pp. 197 - 218
    Journal articles | 2019
    Saffidine A; Cong SL; Pinchinat S; Schwarzentruber F, 2019, 'The Packed Interval Covering Problem is NP-complete', ,
    Journal articles | 2018
    Bakhtiari Z; Ditmarsch HV; Saffidine A, 2018, 'How does uncertainty about other voters determine a strategic vote?', Studies in Logic 12 (3): 32-56, 2019 (ISSN 1674-3202 || CN 44-1649/C),
    Journal articles | 2017
    Baumeister D; Bouveret S; Lang J; Nguyen NT; Nguyen TT; Rothe J; Saffidine A, 2017, 'Positional scoring-based allocation of indivisible goods', Autonomous Agents and Multi-Agent Systems, 31, pp. 628 - 655,
    Journal articles | 2016
    Bonnet É; Jamain F; Saffidine A, 2016, 'On the complexity of connection games', Theoretical Computer Science, 644, pp. 2 - 28,
    Journal articles | 2016
    Bonnet É; Jamain F; Saffidine A, 2016, 'On the complexity of connection games.', Theor. Comput. Sci., 644, pp. 2 - 28,
    Journal articles | 2015
    Cauwet M-L; Teytaud O; Liang H-M; Yen S-J; Lin H-H; Wu I-C; Cazenave T; Saffidine A, 2015, 'Depth, balancing, and limits of the Elo model.', CoRR, abs/1511.02006
    Journal articles | 2015
    Elkind E; Lang J; Saffidine A, 2015, 'Condorcet winning sets', Social Choice and Welfare, 44, pp. 493 - 517,
    Journal articles | 2014
    Saffidine A, 2014, 'The game description language is Turing complete', IEEE Transactions on Computational Intelligence and AI in Games, 6, pp. 320 - 324,
    Journal articles | 2013
    Van Ditmarsch H; Lang J; Saffidine A, 2013, 'Strategic voting and the logic of knowledge', Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2013, pp. 196 - 205
    Journal articles | 2012
    Saffidine A; Cazenave T; Méhat J, 2012, 'UCD: Upper confidence bound for rooted directed acyclic graphs', Knowledge-Based Systems, 34, pp. 26 - 33,
    Journal articles | 2011
    Saffidine A, 2011, 'MOCCOS wins the Phantom-Go tournament', ICGA Journal, 34, pp. 35 - 37,
    Journal articles | 2009
    Cazenave T; Saffidine A, 2009, 'Utilisation de la recherche arborescente Monte-Carlo au Hex', Revue d'Intelligence Artificielle, 23, pp. 183 - 202,
  • Working Papers | 2020
    Buffet O; Dibangoye J; Delage A; Saffidine A; Thomas V, 2020, On Bellman's Optimality Principle for zs-POSGs, ,
  • Conference Papers | 2023
    Arjonilla J; Cazenave T; Saffidine A, 2023, 'Mixture of Public and Private Distributions in Imperfect Information Games.', in Bouraoui Z; Schwarzentruber F; Wilczynski A (eds.), JIAF, pp. 189 - 199,
    Conference Papers | 2023
    He Y; Saffidine A, 2023, 'QBF Solving Using Best First Search', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 73 - 86,
    Preprints | 2023
    Sagri A; Cazenave T; Arjonilla J; Saffidine A, 2023, Vision Transformers for Computer Go, ,
    Preprints | 2023
    Shaik I; Mayer-Eichberger V; Pol JVD; Saffidine A, 2023, Implicit State and Goals in QBF Encodings for Positional Games (extended version), ,
    Conference Papers | 2023
    Wang H; Saffidine A; Cazenave T, 2023, 'Towards Tackling MaxSAT by Combining Nested Monte Carlo with Local Search', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 332 - 346,
    Preprints | 2023
    Wang H; Saffidine A; Cazenave T, 2023, Towards Tackling MaxSAT by Combining Nested Monte Carlo with Local Search, ,
    Preprints | 2022
    Delage A; Buffet O; Dibangoye JS; Saffidine A, 2022, HSVI can solve zero-sum Partially Observable Stochastic Games, ,
    Conference Papers | 2022
    Jung JC; Mayer-Eichberger V; Saffidine A, 2022, 'QBF Programming with the Modeling Language Bule', in Leibniz International Proceedings in Informatics, LIPIcs,
    Conference Papers | 2020
    Barrot N; Lemeilleur S; Paget N; Saffidine A, 2020, 'Peer reviewing in participatory guarantee systems: Modelisation and algorithmic aspects', in Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, pp. 114 - 122
    Preprints | 2020
    Buffet O; Dibangoye J; Delage A; Saffidine A; Thomas V, 2020, On Bellman's Optimality Principle for zs-POSGs, ,
    Conference Papers | 2020
    Mayer-Eichberger V; Saffidine A, 2020, 'Positional Games and QBF: The Corrective Encoding', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 447 - 463,
    Preprints | 2020
    Mayer-Eichberger V; Saffidine A, 2020, Positional Games and QBF: A Polished Encoding, ,
    Conference Proceedings (Editor of) | 2020
    Cazenave T; Herik HJVD; Saffidine A; Wu I-C, (eds.), 2020, 'Advances in Computer Games - 16th International Conference, ACG 2019, Macao, China, August 11-13, 2019, Revised Selected Papers', Springer, Vol. 12516
    Preprints | 2019
    Browne C; Soemers DJNJ; Piette É; Stephenson M; Conrad M; Crist W; Depaulis T; Duggan E; Horn F; Kelk S; Lucas SM; Neto JP; Parlett D; Saffidine A; Schädler U; Silva JN; de Voogt A; Winands MHM, 2019, Foundations of Digital Archæoludology,
    Preprints | 2019
    Saffidine A; Cong SL; Pinchinat S; Schwarzentruber F, 2019, The Packed Interval Covering Problem is NP-complete, ,
    Conference Papers | 2018
    Atzmon D; Stern R; Saffidine A, 2018, 'Bounded suboptimal game tree search', in Proceedings of the 11th International Symposium on Combinatorial Search, SoCS 2018, pp. 10 - 18
    Conference Papers | 2018
    Buffet O; Dibangoye JS; Saffidine A; Thomas V, 2018, 'Recherche heuristique pour jeux stochastiques (à somme nulle).', in Buffet O; Dutech A; Thomas V (eds.), JFPDA, HAL,
    Conference Papers | 2018
    Chen Y; Saffidine A; Schwering C, 2018, 'The Complexity of Limited Belief Reasoning – The Quantifier-Free Case', in Lang J (ed.), Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI), International Joint Conferences on Artificial Intelligence, Stockholm, pp. 1774 - 1780, presented at Twenty-Seventh International Joint Conference on Artificial Intelligence, Stockholm, 13 July 2018 - 19 July 2018,
    Conference Papers | 2018
    Mattei N; Saffidine A; Walsh T, 2018, 'Fairness in Deceased Organ Matching', in AIES 2018 - Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, pp. 236 - 242,
    Conference Papers | 2018
    Saffidine A; Schwarzentruber F; Zanuttini B, 2018, 'Knowledge-based policies for qualitative decentralized POMDPs', in 32nd AAAI Conference on Artificial Intelligence, AAAI 2018, pp. 6270 - 6277
    Conference Papers | 2018
    Saffidine A; Wilczynski A, 2018, 'Constrained swap dynamics over a social network in distributed resource reallocation', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 213 - 225,
    Conference Papers | 2018
    Sturtevant NR; Saffidine A, 2018, 'A Study of Forward Versus Backwards Endgame Solvers with Results in Chinese Checkers', in Communications in Computer and Information Science, pp. 121 - 136,
    Conference Proceedings (Editor of) | 2018
    Cazenave T; Winands MHM; Saffidine A, (eds.), 2018, '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', Springer, Vol. 818
    Conference Proceedings (Editor of) | 2018
    Cazenave T; Winands MHM; Saffidine A, (eds.), 2018, 'Computer Games', Springer International Publishing,
    Conference Papers | 2017
    Bonnet E; Gaspers S; Lambilliotte A; Rümmele S; Saffidine A; Ruemmele S, 2017, 'The Parameterized Complexity of Positional Games', in Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Warsaw, Poland, pp. 90:1 - 90:14, presented at ICALP 2017 - 44th International Colloquium on Automata, Languages, and Programming, Warsaw, Poland, 10 July 2017 - 14 July 2017,
    Conference Papers | 2017
    Bonnet É; Gaspers S; Lambilliotte A; Rümmele S; Saffidine A, 2017, 'The Parameterized Complexity of Positional Games.', in Chatzigiannakis I; Indyk P; Kuhn F; Muscholl A (eds.), ICALP, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 90:1 - 90:1,
    Preprints | 2017
    Bonnet É; Gaspers S; Lambilliotte A; Rümmele S; Saffidine A, 2017, The Parameterized Complexity of Positional Games, ,
    Conference Papers | 2017
    Couceiro M; Mercuriali P; Péchoux R; Saffidine A, 2017, 'Median Based Calculus for Lattice Polynomials and Monotone Boolean Functions', in Proceedings of The International Symposium on Multiple-Valued Logic, pp. 37 - 42,
    Conference Papers | 2017
    Gaspers S; Rümmele S; Saffidine A; Tran K, 2017, 'Minesweeper with limited moves', in 32nd AAAI Conference on Artificial Intelligence, AAAI 2018, Association for the Advancement of Artificial Intelligence, New Orleans, Louisiana, USA, pp. 860 - 867, presented at Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, Louisiana, USA, 02 February 2017 - 07 February 2017,
    Conference Papers | 2017
    Mattei N; Saffidine A; Walsh T, 2017, 'Mechanisms for online Organ matching', in IJCAI International Joint Conference on Artificial Intelligence, pp. 345 - 351,
    Conference Papers | 2016
    Cazenave T; Saffidine A; Schofield M; Thielscher M, 2016, 'Nested monte carlo search for two-player games', in 30th AAAI Conference on Artificial Intelligence, AAAI 2016, pp. 687 - 693
    Conference Papers | 2015
    Bonnet É; Jamain F; Saffidine A, 2015, 'Draws, zugzwangs, and PSPACE-completeness in the slither connection game', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 160 - 176,
    Preprints | 2015
    Cauwet M-L; Teytaud O; Liang H-M; Yen S-J; Lin H-H; Wu I-C; Cazenave T; Saffidine A, 2015, Depth, balancing, and limits of the Elo model, ,
    Conference Papers | 2015
    Cauwet ML; Teytaud O; Cazenave T; Saffidine A; Liang HM; Yen SJ; Lin HH; Wu IC, 2015, 'Depth, balancing, and limits of the Elo model', in 2015 IEEE Conference on Computational Intelligence and Games, CIG 2015 - Proceedings, pp. 376 - 382,
    Conference Papers | 2015
    López CL; Saffidine A, 2015, 'A preliminary selection of problems in heuristic search', in Proceedings of the 8th Annual Symposium on Combinatorial Search, SoCS 2015, pp. 186 - 190
    Conference Papers | 2015
    Saffidine A; Teytaud O; Yen SJ, 2015, 'Go complexities', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 76 - 88,
    Conference Papers | 2014
    Bonnet E; Jamain F; Saffidine A, 2014, 'Havannah and TwixT are PSPACE-complete', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 175 - 186,
    Conference Papers | 2014
    Bonnet E; Jamain F; Saffidine A, 2014, 'Havannah and TwixT are PSPACE-complete', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 175 - 186,
    Conference Papers | 2014
    Bonnet É; Saffidine A, 2014, 'On the complexity of general game playing', in Communications in Computer and Information Science, pp. 90 - 104,
    Conference Papers | 2014
    Cerexhe T; Rajaratnam D; Saffidine A; Thielscher M, 2014, 'A Systematic Solution to the (De-)Composition Problem in General Game Playing', in Schaub T (ed.), ECAI 2014 - 21st European Conference on Artificial Intelligence, IOS Press, Prague, Czech Republic, pp. 195 - 200, presented at 21st European Conference on Artificial Intelligence (ECAI 2014), Prague, Czech Republic, 18 August 2014 - 22 August 2014,
    Conference Papers | 2014
    Romero J; Saffidine A; Thielscher M, 2014, 'Solving the inferential frame problem in the general Game Description Language', in Proceedings of the National Conference on Artificial Intelligence, pp. 515 - 521
    Conference Papers | 2014
    Saffidine A; Cazenave T, 2014, 'Developments on product propagation', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 100 - 109,
    Conference Papers | 2014
    Saffidine A; Jouandeau N; Buron C; Cazenave T, 2014, 'Material symmetry to partition endgame tables', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 187 - 198,
    Conference Papers | 2014
    Saffidine A; Jouandeau N; Buron C; Cazenave T, 2014, 'Material symmetry to partition endgame tables', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 187 - 198,
    Conference Papers | 2013
    Bonnet E; Jamain F; Saffidine A, 2013, 'On the complexity of trick-taking card games', in IJCAI International Joint Conference on Artificial Intelligence, pp. 482 - 488
    Conference Papers | 2013
    Ditmarsch HV; Lang J; Saffidine A, 2013, 'Strategic Voting and the Logic of Knowledge',
    Conference Papers | 2013
    Ditmarsch HV; Lang J; Saffidine A, 2013, 'Strategic voting and the logic of knowledge.', in Schipper BC (ed.), TARK,
    Conference Papers | 2013
    Lanctot M; Saffidine A; Veness J; Archibald C; Winands MHM, 2013, 'Monte Carlo *-Minimax Search', in IJCAI International Joint Conference on Artificial Intelligence, pp. 580 - 586
    Conference Papers | 2013
    Schofield MJ; Saffidine A, 2013, 'High speed forward chaining for general game playing', The IJCAI-13 Workshop on General Game Playing
    Conference Papers | 2012
    Buro M; Finnsson H; Saffidine A, 2012, 'Alpha-Beta Pruning for Games with Simultaneous Moves', in Twenty-Sixth AAAI Conference on Artificial Intelligence, Toronto, presented at Twenty-Sixth AAAI Conference on Artificial Intelligence, Toronto,
    Conference Papers | 2012
    Churchill D; Saffidine A; Buro M, 2012, 'Fast heuristic search for RTS game combat scenarios', in Proceedings of the 8th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, AIIDE 2012, pp. 112 - 117
    Conference Papers | 2012
    Saffidine A; Cazenave T, 2012, 'Multiple-outcome proof number search', in Frontiers in Artificial Intelligence and Applications, pp. 708 - 713,
    Conference Papers | 2012
    Saffidine A; Finnsson H; Buro M, 2012, 'Alpha-beta pruning for games with simultaneous moves', in Proceedings of the National Conference on Artificial Intelligence, pp. 556 - 562
    Conference Papers | 2012
    Saffidine A; Jouandeau N; Cazenave T, 2012, 'Solving breakthrough with race patterns and job-level proof number search', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 196 - 207,
    Conference Papers | 2012
    Saffidine A, 2012, 'Minimal Proof Search for Modal Logic K Model Checking.', in Cerro LFD; Herzig A; Mengin J (eds.), JELIA, Springer, pp. 346 - 358,
    Conference Papers | 2012
    Saffidine A, 2012, 'Minimal proof search for modal logic K model checking', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 346 - 358,
    Conference Papers | 2011
    Cazenave T; Saffidine A, 2011, 'Score bounded Monte-Carlo tree search', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 93 - 104,
    Conference Papers | 2011
    Elkind E; Lang J; Saffidine A, 2011, 'Choosing collectively optimal sets of alternatives based on the condorcet criterion', in IJCAI International Joint Conference on Artificial Intelligence, pp. 186 - 191,
    Conference Papers | 2010
    Saffidine A; Cazenave T; Méhat J, 2010, 'UCD: Upper confidence bound for rooted Directed Acyclic Graphs', in Proceedings - International Conference on Technologies and Applications of Artificial Intelligence, TAAI 2010, pp. 467 - 473,