[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