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
Satisfiability modulo transcendental functions via incremental linearization - MaRDI portal

Satisfiability modulo transcendental functions via incremental linearization (Q2405243)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Satisfiability modulo transcendental functions via incremental linearization
scientific article

    Statements

    title
    Satisfiability modulo transcendental functions via incremental linearization (English)
    0 references
    author
    Alessandro Cimatti
    0 references
    Alberto Griggio
    0 references
    Ahmed Irfan
    0 references
    Marco Roveri
    0 references
    Roberto Sebastiani
    0 references
    publication date
    22 September 2017
    0 references
    zbMATH DE Number
    6778399
    0 references
    OpenAlex ID
    W3103017377
    0 references
    Wikidata QID
    Q62041076
    0 references
    arXiv ID
    1801.08723
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2405243&oldid=33514167"
    Powered by MediaWiki