Abdallah Saffidine

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Generalizing Roberts' characterization of unit interval graphs	2026-05-12	Paper
A piecewise approach for the analysis of exact algorithms Theoretical Computer Science	2026-03-20	Paper
A piecewise approach for the analysis of exact algorithms	2025-04-15	Paper
HSVI can solve zero-sum partially observable stochastic games Dynamic Games and Applications	2024-10-25	Paper
QBF programming with the modeling language bule	2024-07-12	Paper
Heuristic search for one-to-many shortest path queries Annals of Mathematics and Artificial Intelligence	2021-12-17	Paper
Knowledge-based programs as succinct policies for partially observable domains Artificial Intelligence	2021-08-16	Paper
Positional games and QBF: the corrective encoding (available as arXiv preprint)	2021-04-07	Paper
Safe multi-agent pathfinding with time uncertainty Journal of Artificial Intelligence Research	2021-03-26	Paper
On the complexity of minimizing median normal forms of monotone Boolean functions and lattice polynomials	2021-01-15	Paper
The parameterized complexity of positional games (available as arXiv preprint)	2020-05-27	Paper
Constrained swap dynamics over a social network in distributed resource reallocation	2018-11-08	Paper
A systematic solution to the (de-)composition problem in general game playing	2017-07-18	Paper
On the complexity of connection games Theoretical Computer Science	2016-09-05	Paper
Multiple-outcome proof number search	2015-12-11	Paper
Material symmetry to partition endgame tables Computers and Games	2015-09-29	Paper
\textsc{Havannah} and \textsc{TwixT} are PSPACE-complete Computers and Games	2015-09-29	Paper
Condorcet winning sets Social Choice and Welfare	2015-04-23	Paper
Minimal Proof Search for Modal Logic K Model Checking Logics in Artificial Intelligence	2012-09-21	Paper
Score bounded Monte-Carlo tree search Computers and Games	2011-02-11	Paper

Research outcomes over time

This page was built for person: Abdallah Saffidine