[SCIP] aggregated variables

[James Cussens]

Hi,

I would like to check my understanding of aggregated (not multi-aggregated) variables. Take for example the following two aggregated variables:

[binary] <t_3 <- 1>: obj=-0, global bounds=[-0,1], local bounds=[-0,1], aggregated: +1<t_3<-{1,5}>
[binary] <t_3 <- 5>: obj=-0, global bounds=[-0,1], local bounds=[-0,1], aggregated: +1<t_3<-{1,5}>

First question: does SCIP branch on aggregated variables?
Second question: Is it correct that if, say, <t_3 <- 1> above were locally fixed to 0 (by some propagation) then <t_3<-{1,5}> and then
<t_3 <- 5> would also get locally fixed to 0?

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/20250702/26eedb44/attachment.html>