# Backjumping in CDCL Backjumping is an optimization technique in CDCL (Conflict-Driven Clause Learning) that allows the solver to undo multiple decision levels at once when a conflict is encountered, based on the structure of the learned clause .