1
基于回跳层数的SAT求解器学习子句删除策略
Back-jump levels based learnt clauses deletion strategy for SAT solver
2020年第11期 : 3316-3320
doi:10.19734/j.issn.1001-3695.2019.07.0269