An Improved SAT Algorithm in Terms of Formula Length.

Jianer Chen, Yang Liu

Browse the full WADS paper archive.