[SCIP] local unlocking

[James Cussens]

Hi all,

I have a constraint handler with the following property: when some variables in a constraint are locally fixed (to appropriate values) then some other variables can be (locally) removed from the constraint. Note that this is different from propagation (sometimes these removable-from-the-constraint variables can have their domains reduced, sometimes not). I'm thinking about how to implement this. One option would be to remove the original constraint and then replace it with a local version of the constraint with the removable-from-the-constraint variables no longer present. Is this the best approach? I'm worried that I'll end up spending a lot of time creating new local constraints. I guess I'm interested if there is a 'nice' way of locally removing locks on variables.

James

James Cussens
Room MVB 3.26
School of Computer Science, University of Bristol
Phone: +44 (0)117 455 8723
https://jcussens.github.io/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20250219/b4279455/attachment.html>