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
Extended Resolution Proofs for Conjoining BDDs - MaRDI portal

Extended Resolution Proofs for Conjoining BDDs (Q3434726)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Extended Resolution Proofs for Conjoining BDDs
scientific article

    Statements

    title
    Extended Resolution Proofs for Conjoining BDDs (English)
    0 references
    author
    Carsten Sinz
    0 references
    Armin Biere
    0 references
    publication date
    2 May 2007
    0 references
    describes a project that uses
    MiniSat
    0 references
    Velev SAT Benchmarks
    0 references
    SBSAT
    0 references
    Chaff
    0 references
    BerkMin
    0 references
    FORCE
    0 references

    Identifiers

    DOI
    10.1007/11753728_60
    0 references
    zbMATH DE Number
    5148765
    0 references
    OpenAlex ID
    W1800789167
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3434726&oldid=31587861"
    Powered by MediaWiki