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…