Expected Work Search: Combining Win Rate and Proof Size Estimation.

Owen Randall, Martin Mller, Ting-Han Wei, Ryan Hayward

Browse the full IJCAI paper archive.