presol_dualinfer.h File Reference

Detailed Description

dual inference presolver

Author

Dieter Weninger

This presolver exploits dual information for primal variable fixings:

1. The first method is an enhanced dual fixing technique.
2. 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.

#include "scip/def.h"
#include "scip/type_retcode.h"
#include "scip/type_scip.h"

Go to the source code of this file.

Functions
SCIP_EXPORT SCIP_RETCODE	SCIPincludePresolDualinfer (SCIP *scip)