Rigorous filtering using linear relaxations (Q453629)

From MaRDI portal





scientific article; zbMATH DE number 6087680
Language Label Description Also known as
English
Rigorous filtering using linear relaxations
scientific article; zbMATH DE number 6087680

    Statements

    Rigorous filtering using linear relaxations (English)
    0 references
    0 references
    0 references
    27 September 2012
    0 references
    linear relaxations
    0 references
    filtering
    0 references
    pruning
    0 references
    continuous constraints
    0 references
    quadratic constraint satisfaction problems
    0 references
    rounding error control
    0 references
    verified computing
    0 references
    quadratic programming
    0 references
    branch and bound
    0 references
    global optimization
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers