Solving Constraint Integer Programs

Detailed Description

reformulation-linearization technique separator

Fabian Wegscheider
Ksenia Bestuzheva

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.


SCIP_RETCODE SCIPincludeSepaRlt (SCIP *scip)