A Fast Algorithm for SAT in Terms of Formula Length.

Junqiang Peng, Mingyu Xiao

Browse the full SAT paper archive.