Efficient knot discrimination via quandle coloring with SAT and #-SAT

Andrew Fish, Alexei Lisitsa, David Stanovský, Sarah Swartwood

Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-review

Search results