超约简求解:效率与性能的提升

超约简求解:效率与性能的提升

王笑笑, 巴婧, 陈建军, 宋晶晶, 杨习贝

Searching Super-reduct:Improvement on Efficiency and Effectiveness

WANG Xiaoxiao, BA Jing, CHEN Jianjun, SONG Jingjing, YANG Xibei

计算机科学 . 2023, (2): 166 -172 . DOI: 10.11896/jsjkx.211200292