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