Conflict-based backjumping