1
基于参与冲突分析次数的动态学习子句评估策略
Dynamic learnt clause evaluation strategy based on number of participations in conflict analysis
2020年第10期 : 2902-2906
doi:10.19734/j.issn.1001-3695.2019.06.0205