Hutchinson, Laura

1 publications

JAIR 2020 Automated Conjecturing II: Chomp and Reasoned Game Play Alexander Bradford, J. Kain Day, Laura Hutchinson, Bryan Kaperick, Craig E. Larson, Matthew Mills, David Muncy, Nico Van Cleemput