A Learned Clause Deletion Strategy Based on Distance Ratio.

Meng Wang, Xingxing He, Jun Liu

Browse the full ISKE paper archive.