Local lemma: a new strategy of pruning in SAT solvers.

Xiangxue Jia, Runming Lu, Sheng Liu, Jian Zhang

Browse the full SAC paper archive.