CBJ

Conflict-directed Backjumping