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
Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems - MaRDI portal

Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems (Q3000643)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems
scientific article

    Statements

    title
    Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems (English)
    0 references
    author
    Tino Teige
    0 references
    Martin Fränzle
    0 references
    publication date
    19 May 2011
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q60
    0 references
    03C40
    0 references
    68Q87
    0 references
    zbMATH DE Number
    5897403
    0 references
    OpenAlex ID
    W1592721539
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3000643&oldid=35227823"
    Powered by MediaWiki