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 ISBNConference contribution with ISSN or ISBNpeer-review

Original languageEnglish
Title of host publication5th International Conference on Mathematical Software (ICMS 2016)
Place of PublicationBerlin
PublisherSpringer International Publishing
Pages51-58
Number of pages8
Volume9725
ISBN (Electronic)9783319424323
ISBN (Print)9783319424316
DOIs
Publication statusPublished - 1 Jan 2016
Event5th International Conference on Mathematical Software (ICMS 2016) - Berlin, Germany,11-14 July 2016
Duration: 1 Jan 2016 → …

Publication series

NameLecture Notes in Computer Science

Conference

Conference5th International Conference on Mathematical Software (ICMS 2016)
Period1/01/16 → …

Bibliographical note

Published in the book :Mathematical Software-ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings. Springer 2016.

Keywords

  • computational topology
  • knot detection and equivalence
  • SAT and #-SAT solving
  • quandle coloring

Cite this