An Automated Approach to the Collatz Conjecture.

Emre Yolcu, Scott Aaronson, Marijn J. H. Heule

Browse the full CADE paper archive.