A Binary Contraction Map on Even-Dimensional Boolean Hypercubes: Factorization, Finite-Time Convergence, and Terminal Classes | Synapse