<div dir="ltr">Dear SCIPers,<div><br></div><div>I would like to implement a branching strategy where at each node only a subset of variables are considered as branching candidates. Which subset this is will depend on the node in question (specifically which variables are already fixed by the time we get to that node).</div><div><br></div><div>It seems to me that a potentially easy way of doing this is to update the branching priorities of variables before the branching decision is made (I want the current branching rule (eg relpscost) to choose which of my candidates to branch on.)</div><div><br></div><div>But I'm not sure </div><div>1) if this is a reasonable way of implementing what I want to happen, and</div><div>2) if it is, where in my code to effect the branching priority updating.</div><div><br></div><div>I have a constraint handler (it's a "global" one - there is always a constraint which is not satisfied until the entire problem is solved). One option would seem to be to update the branching priorities in its ENFOLP callback and declare SCIP_INFEASIBLE. But this seems a bit of hack.</div><div><br></div><div>Another possibility is to write an event handler, so that branching priorities get updated when other variables get fixed.</div><div><br></div><div>Any advice / ideas?</div><div><br></div><div>James</div><div><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>