Conflict analysis in mixed integer programming (Q2471271)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Conflict analysis in mixed integer programming
scientific article

    Statements

    Conflict analysis in mixed integer programming (English)
    0 references
    0 references
    22 February 2008
    0 references
    mixed integer programming
    0 references
    branch-and-cut
    0 references
    conflict analysis
    0 references
    SAT
    0 references
    infeasible mixed integer programming
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers