Curtis Bright

Combining Monte Carlo Tree Search with Cube-and-Conquer boosts SAT solving efficiency.

Using finite automata to compute digits of irrational numbers like the golden ratio.

Examining the security of SHA-256 and recent collision finding techniques.

New hybrid methods improve efficiency in integer factorization for cryptography.