Can you perhaps refer me to a paper that explains the algorithm?
Usually, it seems to do a good job.
Sometimes, though, the number of int vars increases for reducing bin vars or continuous vars. In itself it's not an indication of anything. However, sometimes I have 20 independent variables and thousands of constraints, and it seems that the system can be reduced further. But I'm not sure. I also tried explicit aggressive settings.
I'm still considering this point: if there are 20 independent vars but thousands of constraints, can the system always be reduced to ~20 vars (in total, dependent/independent, and accordingly number of constraints)? Initial answer yes, but I recall thinking about an example that might contradict it (which I can't recall at the moment).
Please sign in to leave a comment.