Generalizing CDCL with Graph Backtracking.

Robin Coutelier, Thomas Hader, Laura Kovcs

Browse the full SAT paper archive.