Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Rigorous filtering using linear relaxations - MaRDI portal

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