An Empirical Study of the Effect of Learnt Clause on the Structural Measures of SAT problems.

Yoichiro Iida, Tomohiro Sonobe, Mary Inaba

Browse the full SAT paper archive.