Larson, Craig E.

2 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

IJCAI 2017 Automated Conjecturing I: Fajtlowicz's Dalmatian Heuristic Revisited (Extended Abstract) Craig E. Larson, Nico Van Cleemput