[Scip] Branching using SCIP solely as a CP Solver

Alexander Schnell alexander.schnell at univie.ac.at
Tue Nov 15 16:30:22 MET 2011


Hi all,

i'm using SCIP solely as a CP Solver by setting the corresponding
emphasis. 

The decision variables of my problem are integer. 

How could i add a branching rule 
which at first branches on the variable with the shortest 
lower bound and then starts by selecting the smallest value in the
respective domain?

Do i have to implement a branching rule myself or is this
already included in SCIP?

Best regards,

Alexander Schnell





More information about the Scip mailing list