On conversions from CNF to ANF (Q2307626)

From MaRDI portal
Revision as of 06:39, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
On conversions from CNF to ANF
scientific article

    Statements

    title
    On conversions from CNF to ANF (English)
    0 references
    author
    Jan Horáček
    0 references
    Martin Kreuzer
    0 references
    publication date
    24 March 2020
    0 references
    zbMATH Keywords
    conjunctive normal form
    0 references
    algebraic normal form
    0 references
    Boolean polynomial
    0 references
    Boolean Gröbner basis
    0 references
    SAT solving
    0 references
    resolution
    0 references
    describes a project that uses
    PolyBoRi
    0 references
    FGb
    0 references
    Magma
    0 references
    Bosphorus
    0 references
    SageMath
    0 references
    ApCoCoA
    0 references
    antom
    0 references
    CNFgen
    0 references
    Glucose
    0 references
    CryptoMiniSat
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68W30
    0 references
    06E30
    0 references
    13P10
    0 references
    68R07
    0 references
    94D10
    0 references
    zbMATH DE Number
    7181622
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2307626&oldid=26864208"
    Powered by MediaWiki