Bruno Colonetti

Hey, Silke There are also warnings about "Sub-optimal termination", but those may be caused by your extremely tight BarConvTol. What happens when you set this to the default or 1e-9 instead? A: I c...

Hey, RileyThanks for the tip! At the end, I chose to follow your advice and it's working just fineThanks!

I suppose you could do something like this: for 4 variables x_1, x_2, x_3, x_4 and  k = 2, create three binary auxiliary variables a_1, a_2, and a_3. a_1 is 1 if x_1 and x_2 are 1, a_2 is 1 x_2 and...

Hi, Jaromił That's a great explanation! Thank you. And I'll definitely take a look at that paper. Thanks, Bruno