Search Results for author:
Found 9 papers, 1 papers with code
Vision Transformers for Computer Go
Motivated by the success of transformers in various fields, such as language understanding and image analysis, this investigation explores their application in the context of the game of Go.
Towards Tackling MaxSAT by Combining Nested Monte Carlo with Local Search
First, a nesting of the tree search inspired by the Nested Monte Carlo Search algorithm is effective on most instance types in the benchmark.
Implicit State and Goals in QBF Encodings for Positional Games (extended version)
Our baseline is a QBF encoding with explicit variables for board positions and an explicit representation of winning configurations.
HSVI can solve zero-sum Partially Observable Stochastic Games
State-of-the-art methods for solving 2-player zero-sum imperfect information games rely on linear programming or regret minimization, though not on dynamic programming (DP) or heuristic search (HS), while the latter are often at the core of state-of-the-art solvers for other sequential decision-making problems.
On Bellman's Optimality Principle for zs-POSGs
Many non-trivial sequential decision-making problems are efficiently solved by relying on Bellman's optimality principle, i. e., exploiting the fact that sub-problems are nested recursively within the original problem.
Positional Games and QBF: A Polished Encoding
Positional games are a mathematical class of two-player games comprising Tic-tac-toe and its generalizations.
Foundations of Digital Archæoludology
Digital Archaeoludology (DAL) is a new field of study involving the analysis and reconstruction of ancient games from incomplete descriptions and archaeological evidence using modern computational techniques.
The Complexity of Limited Belief Reasoning -- The Quantifier-Free Case
The classical view of epistemic logic is that an agent knows all the logical consequences of their knowledge base.
On the Complexity of Connection Games
In this paper, we study three connection games among the most widely played: Havannah, Twixt, and Slither.
