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
Analysis of cyclic fault propagation via ASP - MaRDI portal

Analysis of cyclic fault propagation via ASP (Q2694609)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Analysis of cyclic fault propagation via ASP
scientific article

    Statements

    title
    Analysis of cyclic fault propagation via ASP (English)
    0 references
    author
    Marco Bozzano
    0 references
    Alessandro Cimatti
    0 references
    Alberto Griggio
    0 references
    Martin Jonáš
    0 references
    Greg Kimberly
    0 references
    publication date
    4 April 2023
    0 references
    zbMATH DE Number
    7671909
    0 references
    zbMATH Keywords
    fault propagation
    0 references
    SMT
    0 references
    ASP modulo acyclicity
    0 references
    minimal models
    0 references
    describes a project that uses
    MathSAT5
    0 references
    Clingo
    0 references
    OpenAlex ID
    W4293179420
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2694609&oldid=37504489"
    Powered by MediaWiki