A Survey of Research in Automated Mathematical Conjecture-Making. - Craig E. Larson (Graphs and Discovery, 2001)

Direct Product Factorization of Bipartite Graphs with Bipartition-reversing Involutions. - Ghidewon Abay-Asmerom; Richard H. Hammack; Craig E. Larson; Dewey T. Taylor (SIAM J. Discret. Math., 2010)

Graphs with equal Independence and Annihilation Numbers. - Craig E. Larson; Ryan Pepper (Electron. J. Comb., 2011)

Notes on the independence number in the Cartesian product of graphs. - Ghidewon Abay-Asmerom; Richard H. Hammack; Craig E. Larson; Dewey T. Taylor (Discuss. Math. Graph Theory, 2011)

The critical independence number and an independence decomposition. - Craig E. Larson (Eur. J. Comb., 2011)

Domination in functigraphs. - Linda Eroh; Ralucca Gera; Cong X. Kang; Craig E. Larson; Eunjeong Yi (Discuss. Math. Graph Theory, 2012)

A Characterization of Graphs Where the Independence Number Equals the Radius. - Ermelinda DeLaViña; Craig E. Larson; Ryan Pepper; Bill Waller (Graphs Comb., 2012)

A parallel algorithm for computing the critical independence number and related sets. - Ermelinda DeLaViña; Craig E. Larson (Ars Math. Contemp., 2013)

Construction of planar 4-connected triangulations. - Gunnar Brinkmann; Craig E. Larson; Jasper Souffriau; Nico Van Cleemput (Ars Math. Contemp., 2015)

Automated conjecturing I: Fajtlowicz's Dalmatian heuristic revisited. - Craig E. Larson; Nicolas Van Cleemput (Artif. Intell., 2016)

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

Automated conjecturing III - Property-relations conjectures. - Craig E. Larson; Nicolas Van Cleemput (Ann. Math. Artif. Intell., 2017)

Automated Conjecturing VII: The Graph Brain Project & Big Mathematics. - Neal Bushaw; Craig E. Larson; Nicolas Van Cleemput (CoRR, 2018)

Conjecturing-Based Computational Discovery of Patterns in Data. - J. Paul Brooks; D. J. Edwards; Craig E. Larson; Nicolas Van Cleemput (CoRR, 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 (J. Artif. Intell. Res., 2020)

Top-down Automated Theorem Proving (Notes for Sir Timothy). - Craig E. Larson; Nicolas Van Cleemput (CoRR, 2023)

Bootstrap percolation via automated conjecturing. - Neal Bushaw; Blake Conka; Vinay Gupta; Aidan Kierans; Hudson Lafayette; Craig E. Larson; Kevin McCall; Andriy Mulyar; Christine Sullivan; Scott Taylor; Evan Wainright; Evan Wilson; et al. (Ars Math. Contemp., 2023)