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 ISBN

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

Fish, A., Lisitsa, A., Stanovský, D., & Swartwood, S. (2016). Efficient knot discrimination via quandle coloring with SAT and #-SAT. In 5th International Conference on Mathematical Software (ICMS 2016) (Vol. 9725, pp. 51-58). (Lecture Notes in Computer Science). Springer International Publishing. https://doi.org/10.1007/978-3-319-42432-3