Scippy

    SCIP

    Solving Constraint Integer Programs

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

    Detailed Description

    disjunctive cut separator

    Author
    Tobias Fischer
    Marc Pfetsch

    We separate disjunctive cuts for two term disjunctions of the form \(x_1 = 0 \vee x_2 = 0\). They can be generated directly from the simplex tableau. For further information, we refer to
    "A complementarity-based partitioning and disjunctive cut algorithm for mathematical programming problems with equilibrium constraints"
    Júdice, J.J., Sherali, H.D., Ribeiro, I.M., Faustino, A.M., Journal of Global Optimization 36(1), 89–114 (2006)

    Cut coefficients belonging to integer variables can be strengthened by the 'monoidal cut strengthening' procedure, see
    "Strengthening cuts for mixed integer programs"
    Egon Balas, Robert G. Jeroslow, European Journal of Operational Research, Volume 4, Issue 4, 1980, Pages 224-234

    Definition in file sepa_disjunctive.h.

    #include "scip/def.h"
    #include "scip/type_retcode.h"
    #include "scip/type_scip.h"

    Go to the source code of this file.

    Functions

    SCIP_RETCODE SCIPincludeSepaDisjunctive (SCIP *scip)