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
Clausal abstraction for DQBF - MaRDI portal

Clausal abstraction for DQBF (Q2181947)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Clausal abstraction for DQBF
scientific article

    Statements

    title
    Clausal abstraction for DQBF (English)
    0 references
    author
    Leander Tentrup
    0 references
    Markus N. Rabe
    0 references
    publication date
    20 May 2020
    0 references
    describes a project that uses
    BoSy
    0 references
    CAQE
    0 references
    HQSpre
    0 references

    Identifiers

    zbMATH DE Number
    7202470
    0 references
    OpenAlex ID
    W2947743331
    0 references
    arXiv ID
    1808.08759
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2181947&oldid=33469947"
    Powered by MediaWiki