求解恰当可满足性问题的随机局部搜索算法
赵星宇, 王晓峰, 杨易, 庞立超, 杨澜
Stochastic local search algorithm for solving exact satisfiability problem
Xingyu ZHAO, Xiaofeng WANG, Yi YANG, Lichao PANG, Lan YANG
《计算机应用》唯一官方网站
.
2024, (3): 842
-848
.
DOI: 10.11772/j.issn.1001-9081.2023030364
