<div dir="ltr"><div>Dear SCIPers,</div><div><br></div>I have a problem which includes a particular integer variable (call it x) which I always want to branch on even if it is integral and other binary/integer variables are fractional - I would only branch on any other variable if x were fixed. As for how to branch on this variable, the BRANCHEXECPS approach described here:<div><a href="http://scip.zib.de/doc/html/BRANCH.php">http://scip.zib.de/doc/html/BRANCH.php</a></div><div>is exactly what I am looking for.<br><div><br></div><div>Giving this x variable maximal branching priority does not work, since if (as is normally the case) there is an LP solution with some fractional variables not including my x, then x will not be branched on.</div><div><br></div><div>So it looks like I need to write my own (simple) branching rule where the BRANCHEXECLP callback grabs branching candidates using SCIPgetPseudoBranchCands rather than SCIPgetLPBranchCands. However, looking at the code in branch.c it appears that SCIPgetPseudoBranchCands returns branching candidates without taking variable priority into account.</div><div><br></div><div>Is that correct?</div><div><br></div><div>Best wishes,</div><div><br></div><div>James<br clear="all"><div><br></div>-- <br><div class="gmail_signature">James Cussens<br>Dept of Computer Science &<br>York Centre for Complex Systems Analysis<br>Room 326, The Hub, Deramore Lane            Tel    +44 (0)1904 325371<br>University of York                                        Fax  +44 (0)1904 500159<br>York YO10 5GE, UK                               <a href="http://www.cs.york.ac.uk/~jc" target="_blank">http://www.cs.york.ac.uk/~jc</a><br><a href="http://www.york.ac.uk/docs/disclaimer/email.htm" target="_blank">http://www.york.ac.uk/docs/disclaimer/email.htm</a></div>
</div></div></div>