Deletion Strategy Based on Learning Clause Length and LBD
LIU Yao1,2， SONG Zhen-ming1
Computer and Modernization . 2019, (05): 92 .  DOI: 10.3969/j.issn.1006-2475.2019.05.017