Faradžev Read-type enumeration of non-isomorphic CC systems (Q2230397)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Faradžev Read-type enumeration of non-isomorphic CC systems
scientific article

    Statements

    Faradžev Read-type enumeration of non-isomorphic CC systems (English)
    0 references
    0 references
    0 references
    17 September 2021
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    point triples orientation
    0 references
    CC systems
    0 references
    Faradžev-Read enumeration
    0 references
    homomorphism principle
    0 references
    SAT solving
    0 references
    0 references
    0 references
    0 references