SCIP-SDP
2.1.0
|
optimization-based bound tightening propagator for semidefinite programs More...
Go to the source code of this file.
Functions | |
EXTERN SCIP_RETCODE | SCIPincludePropSdpObbt (SCIP *scip) |
optimization-based bound tightening propagator for semidefinite programs
In Optimization-Based Bound Tightening (OBBT), we solve auxiliary SDPs of the form
where is the current SDP relaxation restricted by the primal cutoff constraint , the current cutoff bound. Trivially, the optimal objective value of this LP provides a valid lower/upper bound on variable .
Definition in file prop_sdpobbt.h.
EXTERN SCIP_RETCODE SCIPincludePropSdpObbt | ( | SCIP * | scip | ) |
creates the sdp-obbt propagator and includes it in SCIP
scip | SCIP data structure |
Definition at line 436 of file prop_sdpobbt.c.
References DEFAULT_PROPBIN, DEFAULT_PROPCONT, PROP_DELAY, PROP_DESC, PROP_FREQ, PROP_NAME, PROP_PRIORITY, and PROP_TIMING.
Referenced by runSCIP(), and SCIP_DECL_PROPCOPY().