Craig E. Larson

According to our database, Craig E. Larson authored at least 17 papers between 2001 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

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, Guanyu Wu, Sarah Loeb

Ars Math. Contemp., January, 2023

Top-down Automated Theorem Proving (Notes for Sir Timothy).

Craig E. Larson, Nicolas Van Cleemput

CoRR, 2023

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

Conjecturing-Based Computational Discovery of Patterns in Data.

J. Paul Brooks, D. J. Edwards, Craig E. Larson, Nicolas Van Cleemput

CoRR, 2020

2018

Automated Conjecturing VII: The Graph Brain Project & Big Mathematics.

Neal Bushaw, Craig E. Larson, Nicolas Van Cleemput

CoRR, 2018

2017

Automated conjecturing III - Property-relations conjectures.

Craig E. Larson, Nicolas Van Cleemput

Ann. Math. Artif. Intell., 2017

Automated Conjecturing I: Fajtlowicz's Dalmatian Heuristic Revisited (Extended Abstract).

Craig E. Larson, Nico Van Cleemput

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

Automated conjecturing I: Fajtlowicz's Dalmatian heuristic revisited.

Craig E. Larson, Nicolas Van Cleemput

Artif. Intell., 2016

2015

Construction of planar 4-connected triangulations.

Gunnar Brinkmann, Craig E. Larson, Jasper Souffriau, Nico Van Cleemput

Ars Math. Contemp., 2015

2013

A parallel algorithm for computing the critical independence number and related sets.

Ermelinda DeLaViña, Craig E. Larson

Ars Math. Contemp., 2013

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

Domination in functigraphs.

Linda Eroh, Ralucca Gera, Cong X. Kang, Craig E. Larson, Eunjeong Yi

Discuss. Math. Graph Theory, 2012

2011

The critical independence number and an independence decomposition.

Craig E. Larson

Eur. 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

Graphs with equal Independence and Annihilation Numbers.

Craig E. Larson, Ryan Pepper

Electron. J. Comb., 2011

2010

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

2001

A Survey of Research in Automated Mathematical Conjecture-Making.

Craig E. Larson

Proceedings of the Graphs and Discovery, 2001