Learned clauses reduction strategy based on length of deduction
CHANG Wenjing1，3, XU Yang2，3, WU Guanfeng1，3
Computer Engineering and Applications . 2018, (16): 30 -36 .  DOI: 10.3778/j.issn.1002-8331.1805-0439

京ICP备13024262号-1
Copyright © Computer Engineering and Applications
Powered by Beijing Magtech Co., Ltd.
Total visitors:
Visitors of today:
Now online: