可满足性问题并行求解优化

李骥, 周磊, 龚春叶, 马迪, 沈玉林, 张翔

Parallel optimization for satisfiability problem solving

LI Ji, ZHOU Lei, GONG Chunye, MA Di, SHEN Yulin, ZHANG Xiang

计算机工程与科学 . 2026, (5): 793 -802 . DOI: 10.3969/j.issn.1007-130X.2026.05.004