Parallel optimization for satisfiability problem solving. - LI, Ji; ZHOU, Lei; GONG, Chunye; MA, Di; SHEN, Yulin; ZHANG, Xiang (Computer Engineering & Science / Jisuanji Gongcheng yu Kexue, 2026)