Multi-step partitioning combined with SOM neural network-based clustering technique effectively improves SAT solver performance. - Siyu Yun; Xinsheng Wang (PeerJ Comput. Sci., 2025)