Journal of Northeastern University(Natural Science)
Learnt Clauses Optimize Method Based on Restart Strategy
LI Zhuang， LIU Lei， ZHANG Tong-bo， LYU Shuai
Journal of Northeastern University Natural Science . 2020, (1): 44 -48 .  DOI: 10.12068/j.issn.1005-3026.2020.01.008