Efficient Knot Discrimination via Quandle Coloring with SAT and #-SAT (Q2819199)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Efficient Knot Discrimination via Quandle Coloring with SAT and #-SAT
scientific article

    Statements

    Efficient Knot Discrimination via Quandle Coloring with SAT and #-SAT (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    28 September 2016
    0 references
    0 references
    0 references
    0 references
    0 references
    computational topology
    0 references
    knot detection and equivalence
    0 references
    SAT and \#-SAT solving
    0 references
    quandle coloring
    0 references
    0 references
    0 references
    0 references