3 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
Md Solimul Chowdhury, Martin Müller, Jia-Huai You
A state-of-the-art criterion to evaluate the importance of a given learned clause is called Literal Block Distance (LBD) score. It measures the number of distinct decision levels i…