FCCBJ

AcronymDefinition
FCCBJForward Checking with Conflict Directed Backjumping