Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Craig E. Larson, Nicolas Van Cleemput. Automated conjecturing III - Property-relations conjectures. Annals of Mathematics and Artificial Intelligence, 81(3-4):315-327, 2017. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Bootstrap percolation via automated conjecturingNeal 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. arsmc, 23(3), January 2023. [doi]
The following publications are possibly variants of this publication: