Lazy Reimplication in Chronological Backtracking

Robin Coutelier, Mathias Fleury, Laura Kovács

Chronological backtracking is an interesting SAT solving technique within CDCL reasoning, as it backtracks less aggressively upon conflicts. However, chronological backtracking is…