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
Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates - MaRDI portal

Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates (Q3637179)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates
scientific article

    Statements

    title
    Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates (English)
    0 references
    author
    Javier Larrosa
    0 references
    Robert Nieuwenhuis
    0 references
    Albert Oliveras
    0 references
    publication date
    7 July 2009
    0 references
    describes a project that uses
    SATLIB
    0 references
    MaxSolver
    0 references
    GLPK
    0 references

    Identifiers

    zbMATH DE Number
    5576308
    0 references
    OpenAlex ID
    W1503979545
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3637179&oldid=35117056"
    Powered by MediaWiki