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
Improved Static Symmetry Breaking for SAT - MaRDI portal

Improved Static Symmetry Breaking for SAT (Q2818005)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Improved Static Symmetry Breaking for SAT
scientific article

    Statements

    title
    Improved Static Symmetry Breaking for SAT (English)
    0 references
    author
    Jo Devriendt
    0 references
    Bart Bogaerts
    0 references
    Maurice Bruynooghe
    0 references
    Marc Denecker
    0 references
    publication date
    5 September 2016
    0 references
    describes a project that uses
    bliss
    0 references
    GAP
    0 references
    SymChaff
    0 references
    Traces
    0 references
    nauty
    0 references
    MiniSat
    0 references
    Shatter
    0 references

    Identifiers

    zbMATH DE Number
    6623508
    0 references
    OpenAlex ID
    W2499282942
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2818005&oldid=36271473"
    Powered by MediaWiki