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
On quantified linear implications - MaRDI portal

On quantified linear implications (Q2254606)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On quantified linear implications
scientific article

    Statements

    title
    On quantified linear implications (English)
    0 references
    publication date
    5 February 2015
    0 references
    zbMATH Keywords
    quantified linear implication
    0 references
    linear constraints
    0 references
    inclusion query over polyhedral sets
    0 references
    computational complexity
    0 references
    polynomial hierarchy
    0 references
    describes a project that uses
    QEPCAD
    0 references
    REDLOG
    0 references
    RSOLVER
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q17
    0 references
    03D15
    0 references
    90C05
    0 references
    zbMATH DE Number
    6398472
    0 references
    OpenAlex ID
    W2049924983
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2254606&oldid=35437264"
    Powered by MediaWiki