Bonnet É; Saffidine A, 2014, 'On the Complexity of General Game Playing', in Communications in Computer and Information Science, Springer International Publishing, pp. 90 - 104, http://dx.doi.org/10.1007/978-3-319-14923-3_7
Book Chapters | 2014
Saffidine A; Cazenave T, 2014, 'Developments on Product Propagation', in Lecture Notes in Computer Science, Springer International Publishing, pp. 100 - 109, http://dx.doi.org/10.1007/978-3-319-09165-5_9
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, http://dx.doi.org/10.1007/s13235-023-00519-6
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, http://dx.doi.org/10.1109/TG.2020.3005214
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, http://dx.doi.org/10.1613/JAIR.1.12397
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, http://dx.doi.org/10.1007/s10472-021-09775-x
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, http://dx.doi.org/10.3233/icg-200171
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, http://dx.doi.org/10.1016/j.artint.2020.103365
Saffidine A; Cong SL; Pinchinat S; Schwarzentruber F, 2019, 'The Packed Interval Covering Problem is NP-complete', , http://arxiv.org/abs/1906.03676v1
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), http://arxiv.org/abs/1809.10489v2
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, http://dx.doi.org/10.1007/s10458-016-9340-x
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
Saffidine A, 2014, 'The game description language is Turing complete', IEEE Transactions on Computational Intelligence and AI in Games, 6, pp. 320 - 324, http://dx.doi.org/10.1109/TCIAIG.2014.2354417
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
Cazenave T; Saffidine A, 2009, 'Utilisation de la recherche arborescente Monte-Carlo au Hex', Revue d'Intelligence Artificielle, 23, pp. 183 - 202, http://dx.doi.org/10.3166/RIA.23.183-202
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, https://hal.science/hal-04209856v1/document
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, http://dx.doi.org/10.1007/978-3-031-34017-8_7
Shaik I; Mayer-Eichberger V; Pol JVD; Saffidine A, 2023, Implicit State and Goals in QBF Encodings for Positional Games (extended
version), , http://arxiv.org/abs/2301.07345v1
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, http://dx.doi.org/10.1007/978-3-031-44505-7_23
Preprints | 2023
Wang H; Saffidine A; Cazenave T, 2023, Towards Tackling MaxSAT by Combining Nested Monte Carlo with Local
Search, , http://arxiv.org/abs/2302.13225v1
Preprints | 2022
Delage A; Buffet O; Dibangoye JS; Saffidine A, 2022, HSVI can solve zero-sum Partially Observable Stochastic Games, , http://arxiv.org/abs/2210.14640v1
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, http://dx.doi.org/10.4230/LIPIcs.SAT.2022.31
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
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, http://dx.doi.org/10.1007/978-3-030-51825-7_31
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, https://hal.inria.fr/JFPDA2018/
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, http://dx.doi.org/10.24963/ijcai.2018/245
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, http://dx.doi.org/10.1145/3278721.3278749
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, http://dx.doi.org/10.1007/978-3-319-99660-8_19
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, http://dx.doi.org/10.1007/978-3-319-75931-9_9
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
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, http://dx.doi.org/10.4230/LIPIcs.ICALP.2017.90
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, http://www.dagstuhl.de/dagpub/978-3-95977-041-5
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, https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/17407/15768
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, http://dx.doi.org/10.24963/ijcai.2017/49
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, http://dx.doi.org/10.1007/978-3-319-27992-3_15
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, , http://dx.doi.org/10.48550/arxiv.1511.02006
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, http://dx.doi.org/10.1109/CIG.2015.7317964
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, http://dx.doi.org/10.1007/978-3-319-27992-3_8
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, http://dx.doi.org/10.1007/978-3-319-09165-5-15
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, http://dx.doi.org/10.1007/978-3-319-09165-5_15
Conference Papers | 2014
Bonnet É; Saffidine A, 2014, 'On the complexity of general game playing', in Communications in Computer and Information Science, pp. 90 - 104, http://dx.doi.org/10.1007/978-3-319-14923-3
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, http://dx.doi.org/10.3233/978-1-61499-419-0-195
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, http://dx.doi.org/10.1007/978-3-319-09165-5_9
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, http://dx.doi.org/10.1007/978-3-319-09165-5-16
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, http://dx.doi.org/10.1007/978-3-319-09165-5_16
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
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, https://www.aaai.org/ocs/index.php/AAAI/AAAI12/paper/view/5181
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, http://dx.doi.org/10.3233/978-1-61499-098-7-708
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, http://dx.doi.org/10.1007/978-3-642-31866-5_17
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, https://doi.org/10.1007/978-3-642-33353-8
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, http://dx.doi.org/10.1007/978-3-642-33353-8_27
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, http://dx.doi.org/10.1007/978-3-642-17928-0_9
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, http://dx.doi.org/10.5591/978-1-57735-516-8/IJCAI11-042
