How to Fast Verify Collatz Conjecture by Automata.

Wei Ren, Ruiyang Xiao

Browse the full HPCC paper archive.