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. Automated Conjecturing II: Chomp and Reasoned Game Play. J. Artif. Intell. Res. (JAIR), 68:447-461, 2020. [doi]

Abstract

Abstract is missing.