SCIP
Solving Constraint Integer Programs
sepa_rlt.h File Reference
Detailed Description
reformulation-linearization technique separator
This separator generates a collection of cuts constructed by the reformulation-linearization technique (RLT). For an LP row L and a variable x in [lb,ub], L is multiplied either with (ub-x) or with (x-lb). All known terms that appear in the product are replaced by their respective auxiliary variable and all unknown terms are replaced by a suitable linear relaxation, e.g., McCormick. In general, the separator computes four different cuts for a row with finite sides and a variable with finite bounds.
Definition in file sepa_rlt.h.
#include "scip/scip.h"Go to the source code of this file.
Functions | |
| SCIP_RETCODE | SCIPincludeSepaRlt (SCIP *scip) |