Craig E. Larson

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 9

Top Topics

Extended Abstract

Automated Theorem Proving

Top Venues

Ars Math. Contemp.

Ann. Math. Artif. Intell.

Publications

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, Guanyu Wu, Sarah Loeb
Bootstrap percolation via automated conjecturing. Ars Math. Contemp. 23 (3) (2023)
Craig E. Larson, Nicolas Van Cleemput
Top-down Automated Theorem Proving (Notes for Sir Timothy). CoRR (2023)
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. 68 (2020)
J. Paul Brooks, D. J. Edwards, Craig E. Larson, Nicolas Van Cleemput
Conjecturing-Based Computational Discovery of Patterns in Data. CoRR (2020)
Neal Bushaw, Craig E. Larson, Nicolas Van Cleemput
Automated Conjecturing VII: The Graph Brain Project & Big Mathematics. CoRR (2018)
Craig E. Larson, Nicolas Van Cleemput
Automated conjecturing III - Property-relations conjectures. Ann. Math. Artif. Intell. 81 (3-4) (2017)
Craig E. Larson, Nico Van Cleemput
Automated Conjecturing I: Fajtlowicz's Dalmatian Heuristic Revisited (Extended Abstract). IJCAI (2017)
Craig E. Larson, Nicolas Van Cleemput
Automated conjecturing I: Fajtlowicz's Dalmatian heuristic revisited. Artif. Intell. 231 (2016)
Gunnar Brinkmann, Craig E. Larson, Jasper Souffriau, Nico Van Cleemput
Construction of planar 4-connected triangulations. Ars Math. Contemp. 9 (2) (2015)
Ermelinda DeLaViña, Craig E. Larson
A parallel algorithm for computing the critical independence number and related sets. Ars Math. Contemp. 6 (2) (2013)
Linda Eroh, Ralucca Gera, Cong X. Kang, Craig E. Larson, Eunjeong Yi
Domination in functigraphs. Discuss. Math. Graph Theory 32 (2) (2012)
Ermelinda DeLaViña, Craig E. Larson, Ryan Pepper, Bill Waller
A Characterization of Graphs Where the Independence Number Equals the Radius. Graphs Comb. 28 (3) (2012)
Craig E. Larson
The critical independence number and an independence decomposition. Eur. J. Comb. 32 (2) (2011)
Craig E. Larson, Ryan Pepper
Graphs with equal Independence and Annihilation Numbers. Electron. J. Comb. 18 (1) (2011)
Ghidewon Abay-Asmerom, Richard H. Hammack, Craig E. Larson, Dewey T. Taylor
Notes on the independence number in the Cartesian product of graphs. Discuss. Math. Graph Theory 31 (1) (2011)
Ghidewon Abay-Asmerom, Richard H. Hammack, Craig E. Larson, Dewey T. Taylor
Direct Product Factorization of Bipartite Graphs with Bipartition-reversing Involutions. SIAM J. Discret. Math. 23 (4) (2010)
Craig E. Larson
A Survey of Research in Automated Mathematical Conjecture-Making. Graphs and Discovery (2001)