All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Groups Pages
presol_domcol.h File Reference Detailed Descriptiondominated 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. #include "scip/scip.h" Go to the source code of this file.
Function Documentation
creates the dominated column presolver and includes it in SCIP
|