TY - RPRT TI - Mapping between Spin-Glass Three-Dimensional (3D) Ising Model and Boolean Satisfiability Problem AU - Zhidong Zhang PY - 2025 DO - 10.3390/math11010237 UR - https://arxiv.org/abs/2505.18460 ID - 2505.18460 ER -