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

From MaRDI portal
Revision as of 20:09, 21 February 2024 by RedirectionBot (talk | contribs) (‎Changed an Item)
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
    combinatorial search
    0 references
    projective planes
    0 references
    symbolic computation
    0 references
    satisfiability checking
    0 references
    SAT+CAS
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references