Partial Backtracking in CDCL Solvers.

Chuan Jiang, Ting Zhang

Browse the full LPAR paper archive.