A Hardware-Software Cooperative Approach for the Exhaustive Verification of the Collatz Conjecture | IEEE Conference Publication | IEEE Xplore