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