Craig E. Larson

17 papers A* 1Journal 15Unranked 1
YearRankTypeTitle / Venue / Authors
2023 J jnl
Bootstrap percolation via automated conjecturing.
Ars Math. Contemp.
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
2023 J jnl
Top-down Automated Theorem Proving (Notes for Sir Timothy).
CoRR
Craig E. Larson, Nicolas Van Cleemput
2020 J jnl
Automated Conjecturing II: Chomp and Reasoned Game Play.
J. Artif. Intell. Res.
Alexander Bradford, J. Kain Day, Laura Hutchinson, Bryan Kaperick, Craig E. Larson, Matthew Mills, David Muncy, Nico Van Cleemput
2020 J jnl
Conjecturing-Based Computational Discovery of Patterns in Data.
CoRR
J. Paul Brooks, D. J. Edwards, Craig E. Larson, Nicolas Van Cleemput
2018 J jnl
Automated Conjecturing VII: The Graph Brain Project & Big Mathematics.
CoRR
Neal Bushaw, Craig E. Larson, Nicolas Van Cleemput
2017 A* conf
Automated Conjecturing I: Fajtlowicz's Dalmatian Heuristic Revisited (Extended Abstract).
IJCAI
Craig E. Larson, Nico Van Cleemput
2017 J jnl
Automated conjecturing III - Property-relations conjectures.
Ann. Math. Artif. Intell.
Craig E. Larson, Nicolas Van Cleemput
2016 J jnl
Automated conjecturing I: Fajtlowicz's Dalmatian heuristic revisited.
Artif. Intell.
Craig E. Larson, Nicolas Van Cleemput
2015 J jnl
Construction of planar 4-connected triangulations.
Ars Math. Contemp.
Gunnar Brinkmann, Craig E. Larson, Jasper Souffriau, Nico Van Cleemput
2013 J jnl
A parallel algorithm for computing the critical independence number and related sets.
Ars Math. Contemp.
Ermelinda DeLaViña, Craig E. Larson
2012 J jnl
A Characterization of Graphs Where the Independence Number Equals the Radius.
Graphs Comb.
Ermelinda DeLaViña, Craig E. Larson, Ryan Pepper, Bill Waller
2012 J jnl
Domination in functigraphs.
Discuss. Math. Graph Theory
Linda Eroh, Ralucca Gera, Cong X. Kang, Craig E. Larson, Eunjeong Yi
2011 J jnl
Graphs with equal Independence and Annihilation Numbers.
Electron. J. Comb.
Craig E. Larson, Ryan Pepper
2011 J jnl
Notes on the independence number in the Cartesian product of graphs.
Discuss. Math. Graph Theory
Ghidewon Abay-Asmerom, Richard H. Hammack, Craig E. Larson, Dewey T. Taylor
2011 J jnl
The critical independence number and an independence decomposition.
Eur. J. Comb.
Craig E. Larson
2010 J jnl
Direct Product Factorization of Bipartite Graphs with Bipartition-reversing Involutions.
SIAM J. Discret. Math.
Ghidewon Abay-Asmerom, Richard H. Hammack, Craig E. Larson, Dewey T. Taylor
2001 — conf
A Survey of Research in Automated Mathematical Conjecture-Making.
Graphs and Discovery
Craig E. Larson