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
Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods - MaRDI portal

Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods (Q3095239)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods
scientific article

    Statements

    title
    Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods (English)
    0 references
    author
    Andreas Eggers
    0 references
    Nacim Ramdani
    0 references
    Nedialko S. Nedialkov
    0 references
    Martin Fränzle
    0 references
    publication date
    28 October 2011
    0 references
    zbMATH DE Number
    5965358
    0 references
    describes a project that uses
    RSOLVER
    0 references
    Cosy
    0 references
    HyTech
    0 references
    VNODE
    0 references
    iSat
    0 references
    HSolver
    0 references
    OpenAlex ID
    W2112322240
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3095239&oldid=35251717"
    Powered by MediaWiki