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
Combining SAT solvers with computer algebra systems to verify combinatorial conjectures - MaRDI portal

Combining SAT solvers with computer algebra systems to verify combinatorial conjectures (Q2360872)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Combining SAT solvers with computer algebra systems to verify combinatorial conjectures
scientific article

    Statements

    title
    Combining SAT solvers with computer algebra systems to verify combinatorial conjectures (English)
    0 references
    author
    Edward Zulkoski
    0 references
    Curtis Bright
    0 references
    Albert Heinle
    0 references
    Krzysztof Czarnecki
    0 references
    Vijay Ganesh
    0 references
    Ilias S. Kotsireas
    0 references
    publication date
    29 June 2017
    0 references
    describes a project that uses
    Mathematica
    0 references
    veriT
    0 references
    Alloy*
    0 references
    SageSAT
    0 references
    Shatter
    0 references
    bliss
    0 references
    Coq
    0 references
    Maple
    0 references
    Isabelle/HOL
    0 references
    NumPy
    0 references
    Hadamard
    0 references
    STP
    0 references
    Magma
    0 references
    Lynx
    0 references
    MathCheck
    0 references
    SageMath
    0 references
    FFTW
    0 references
    z3
    0 references
    CPGraph
    0 references
    CVC4
    0 references
    MiniSat
    0 references
    DRAT-trim
    0 references
    sharpSAT
    0 references
    cites work
    Q3506045
    0 references
    Q5503674
    0 references
    Q3411976
    0 references
    On Orthogonal Matrices
    0 references
    Q4068734
    0 references
    Q4244407
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68W30
    0 references
    05B20
    0 references
    05C15
    0 references
    05C38
    0 references
    68T15
    0 references
    zbMATH DE Number
    6736962
    0 references
    OpenAlex ID
    W2558199011
    0 references
    Wikidata QID
    Q123112521
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2360872&oldid=36330544"
    Powered by MediaWiki