Return to Article Details Scoring Functions Based on Second Level Score for k-SAT with Long Clauses Download Download PDF