dominated column presolver
This presolver looks for dominance relations between variable pairs. From a dominance relation and certain bound/clique-constellations variable fixings mostly at the lower bound of the dominated variable can be derived. Additionally it is possible to improve bounds by predictive bound strengthening.
Definition in file presol_domcol.h.
|SCIP_EXPORT SCIP_RETCODE||SCIPincludePresolDomcol (SCIP *scip)|