Crossmark

An Automated Approach to the Collatz Conjecture

Crossref DOI link: https://doi.org/10.1007/s10817-022-09658-8

Published Online: 2023-04-25

Published Print: 2023-06

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Yolcu, Emre https://orcid.org/0000-0002-4255-9748
Aaronson, Scott

Heule, Marijn J. H. https://orcid.org/0000-0002-5587-8801
Funding

Funding for this research was provided by:

National Science Foundation (CCF-2006363)
License Information

Text and Data Mining valid from 2023-04-25

Version of Record valid from 2023-04-25
More Information

Article History

Received: 3 December 2021

Accepted: 30 December 2022

First Online: 25 April 2023