[SCIP] Theory behind convertinttobin and inttobinary presolvers

[Marc Pfetsch]

Hi Alexander,

I guess that there is not much of a theory behind these presolvers. They 
just replace integer variables with a small domain by binary variables. 
It has been tested empirically for which size of the domain this is 
usually beneficial.

Best

Marc


On 27/11/2023 11:25, Schnitzler, Alexander wrote:
> Hi all,
> 
> for my master thesis I am currently looking into effects of presolving 
> techniques on Dantzig-Wolfe reformulation effectivity.
> 
> I am currently looking for the theory behind these two presolvers:
> 
> https://scipopt.org/doc/html/presol__convertinttobin_8c_source.php 
> <https://scipopt.org/doc/html/presol__convertinttobin_8c_source.php>
> 
> https://scipopt.org/doc/html/presol__inttobinary_8h.php 
> <https://scipopt.org/doc/html/presol__inttobinary_8h.php>
> 
> By now I was unable to find any papers or publications about them.
> 
> Does anyone know the related publications?
> 
> Thanks a lot in advance!
> 
> Alexander
> 
> 
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> https://listserv.zib.de/mailman/listinfo/scip