Fast Algorithms for SAT with Bounded Occurrences of Variables.

Junqiang Peng, Mingyu Xiao

Browse the full IJCAI paper archive.