research
∙
02/26/2023
Towards Tackling MaxSAT by Combining Nested Monte Carlo with Local Search
Recent work proposed the UCTMAXSAT algorithm to address Maximum Satisfia...
share
research
∙
01/18/2023
Implicit State and Goals in QBF Encodings for Positional Games (extended version)
We address two bottlenecks for concise QBF encodings of maker-breaker po...
research
∙
10/26/2022
HSVI can solve zero-sum Partially Observable Stochastic Games
State-of-the-art methods for solving 2-player zero-sum imperfect informa...
research
∙
06/29/2020
On Bellman's Optimality Principle for zs-POSGs
Many non-trivial sequential decision-making problems are efficiently sol...
research
∙
05/11/2020
Positional Games and QBF: The Corrective Encoding
Positional games are a mathematical class of two-player games comprising...
research
∙
06/09/2019
The Packed Interval Covering Problem is NP-complete
We introduce a new decision problem, called Packed Interval Covering (PI...
research
∙
05/31/2019
Foundations of Digital Archæoludology
Digital Archaeoludology (DAL) is a new field of study involving the anal...
research
∙
09/27/2018
How does uncertainty about other voters determine a strategic vote?
We propose a framework for strategic voting when a voter may lack knowle...
research
∙
05/08/2018
The Complexity of Limited Belief Reasoning -- The Quantifier-Free Case
The classical view of epistemic logic is that an agent knows all the log...
research
∙
07/08/2012