Scippy

    SCIP

    Solving Constraint Integer Programs

    Functions
    sepa_rlt.h File Reference
    Public API of SCIP » Plugin API of SCIP » Separators

    Detailed Description

    reformulation-linearization technique separator

    Author
    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.

    Functions

    SCIP_RETCODE SCIPincludeSepaRlt (SCIP *scip)