An Automated Approach to the Collatz Conjecture.

Emre Yolcu Scott Aaronson Marijn J. H. Heule

Published in: CADE (2021)

Keyphrases

pairwise
linear combination
high dimensional
fuzzy logic
classification accuracy
support vector
association rules
text classification