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
Extracting unsatisfiable cores for LTL via temporal resolution - MaRDI portal

Extracting unsatisfiable cores for LTL via temporal resolution (Q266863)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Extracting unsatisfiable cores for LTL via temporal resolution
scientific article

    Statements

    title
    Extracting unsatisfiable cores for LTL via temporal resolution (English)
    0 references
    author
    Viktor Schuppan
    0 references
    publication date
    7 April 2016
    0 references
    describes a project that uses
    TRP++
    0 references
    VaqTree
    0 references
    VaqUoT
    0 references
    TSPASS
    0 references
    Boost C++ Libraries
    0 references
    Boost
    0 references
    MUP
    0 references
    BGL
    0 references
    NuSMV
    0 references
    cites work
    Q2751353
    0 references
    Q5503674
    0 references
    Q4385542
    0 references
    Q2741521
    0 references
    Q4804909
    0 references
    Q4885877
    0 references
    Q4952309
    0 references
    Interpolant Strength
    0 references
    Q4012170
    0 references
    Q4583686
    0 references
    Q4494388
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q60
    0 references
    03B44
    0 references
    68T15
    0 references
    zbMATH DE Number
    6566305
    0 references
    OpenAlex ID
    W3099891702
    0 references
    arXiv ID
    1212.3884
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q266863&oldid=38285409"
    Powered by MediaWiki