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
Symbolic automatic relations and their applications to SMT and CHC solving - MaRDI portal

Symbolic automatic relations and their applications to SMT and CHC solving (Q2145347)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Symbolic automatic relations and their applications to SMT and CHC solving
scientific article

    Statements

    title
    Symbolic automatic relations and their applications to SMT and CHC solving (English)
    0 references
    author
    Takumi Shimoda
    0 references
    Naoki Kobayashi
    0 references
    Ken Sakayori
    0 references
    Ryosuke Sato
    0 references
    publication date
    17 June 2022
    0 references
    describes a project that uses
    Spacer
    0 references
    CVC4
    0 references
    z3
    0 references
    Rex
    0 references
    IsaPlanner
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q60
    0 references
    68P05
    0 references
    68Q45
    0 references
    68V15
    0 references
    zbMATH DE Number
    7543925
    0 references
    OpenAlex ID
    W3209569347
    0 references
    arXiv ID
    2108.07642
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2145347&oldid=36818574"
    Powered by MediaWiki