presol_dualinfer.h File Reference

Detailed Description

dual inference presolver

Author

Dieter Weninger

This presolver exploits dual information for primal variable fixings: a) The first method is an enhanced dual fixing technique. b) The second method does dual bound strengthening on continuous primal variables and applies complementary slackness (yA-c)_i > 0 => x_i = 0 for fixing primal variables at their lower bound.

Definition in file presol_dualinfer.h.

#include "scip/scip.h"

Go to the source code of this file.

Functions
SCIP_RETCODE	SCIPincludePresolDualinfer (SCIP *scip)

Function Documentation

SCIP_RETCODE SCIPincludePresolDualinfer

(

SCIP *

scip

)

creates the dual inference presolver and includes it in SCIP

Parameters

scip	SCIP data structure