A nonexistence certificate for projective planes of order ten with weight 15 codewords (Q780361)

From MaRDI portal
Revision as of 17:51, 18 April 2024 by Importer (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
A nonexistence certificate for projective planes of order ten with weight 15 codewords
scientific article

    Statements

    A nonexistence certificate for projective planes of order ten with weight 15 codewords (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    15 July 2020
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    combinatorial search
    0 references
    projective planes
    0 references
    symbolic computation
    0 references
    satisfiability checking
    0 references
    SAT+CAS
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references