Scoring Functions Based on Second Level Score for k-SAT with Long ClausesShaowei Cai, Kaile Su|Journal of Artificial Intelligence Research|2014Cited by 15