2 papers
math.CO2025
A Proof of the 2004 Albert-Grossman-Nowakowski-Wolfe Conjecture on Alternating Linear Clobber
Xinyue Chen, Taylor Folkersen, Kamillah Hasham +5
Clobber is an alternate-turn two-player game introduced in 2001 by Albert, Grossman, Nowakowski and Wolfe. The board is a graph with each node colored black (x), white (o), or empt…
cs.AI2024
Expected Work Search: Combining Win Rate and Proof Size Estimation
Owen Randall, Martin Müller, Ting Han Wei +1
We propose Expected Work Search (EWS), a new game solving algorithm. EWS combines win rate estimation, as used in Monte Carlo Tree Search, with proof size estimation, as used in Pr…