presol_dualinfer.h File Reference
Detailed Description
dual inference presolver
This presolver exploits dual information for primal variable fixings:
- The first method is an enhanced dual fixing technique.
- The second method does dual bound strengthening on continuous primal variables and applies complementary slackness \((A^T y - c)_i > 0 \Rightarrow x_i = 0\) for fixing primal variables at their lower bound.
Definition in file presol_dualinfer.h.
Go to the source code of this file.
Functions | |
SCIP_RETCODE | SCIPincludePresolDualinfer (SCIP *scip) |