×
模态框（Modal）标题
在这里添加一些文本
Close
Close
Submit
Cancel
Confirm
×
模态框（Modal）标题
在这里添加一些文本
Close
导航切换
Journal of Northeastern University(Natural Science)
Home
About Journal
Editorial Board
Guide to Authors
Subscribe
Contacts us
中文
An Dynamic Restart Strategy for Solving SAT Problem
GUO Ying， ZHANG Changsheng， ZHANG Bin
Journal of Northeastern University Natural Science . 2014, (
7
): 935 -938 . DOI: 10.12068/j.issn.1005-3026.2014.07.006
