Owen Randall

1 paper in the IJCAI proceedings

IJCAI 2024

Expected Work Search: Combining Win Rate and Proof Size Estimation

with Martin Müller, Ting-Han Wei, Ryan Hayward

doi:10.24963/ijcai.2024/774

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings