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

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

doi:10.1007/978-3-319-42432-3

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

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

University of Brighton

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

Original language	English
Title of host publication	5th International Conference on Mathematical Software (ICMS 2016)
Place of Publication	Berlin
Publisher	Springer International Publishing
Pages	51-58
Number of pages	8
Volume	9725
ISBN (Electronic)	9783319424323
ISBN (Print)	9783319424316
DOIs	https://doi.org/10.1007/978-3-319-42432-3
Publication status	Published - 1 Jan 2016
Event	5th International Conference on Mathematical Software (ICMS 2016) - Berlin, Germany,11-14 July 2016 Duration: 1 Jan 2016 → …

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	5th International Conference on Mathematical Software (ICMS 2016)
Period	1/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

Access to Document

10.1007/978-3-319-42432-3Licence: Unspecified

http://www.springer.com/gb/book/9783319424316Licence: Unspecified

Embargoed Document

ICMS-2016_ext.pdf
Accepted author manuscript, 286 KB
Licence: Unspecified
Embargo ends: 1/01/99

Cite this

@inproceedings{4b48a5058bf04e99956de3d3bd902aaf,

title = "Efficient knot discrimination via quandle coloring with SAT and #-SAT",

keywords = "computational topology, knot detection and equivalence, SAT and #-SAT solving, quandle coloring",

author = "Andrew Fish and Alexei Lisitsa and David Stanovsk{\'y} and Sarah Swartwood",

note = "Published in the book :Mathematical Software-ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings. Springer 2016.; 5th International Conference on Mathematical Software (ICMS 2016) ; Conference date: 01-01-2016",

year = "2016",

month = jan,

day = "1",

doi = "10.1007/978-3-319-42432-3",

language = "English",

isbn = "9783319424316",

volume = "9725",

series = "Lecture Notes in Computer Science",

publisher = "Springer International Publishing",

pages = "51--58",

booktitle = "5th International Conference on Mathematical Software (ICMS 2016)",

}

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, Lecture Notes in Computer Science, Springer International Publishing, Berlin, pp. 51-58, 5th International Conference on Mathematical Software (ICMS 2016), 1/01/16. https://doi.org/10.1007/978-3-319-42432-3

Efficient knot discrimination via quandle coloring with SAT and #-SAT. / Fish, Andrew; Lisitsa, Alexei; Stanovský, David et al.
5th International Conference on Mathematical Software (ICMS 2016). Vol. 9725 Berlin: Springer International Publishing, 2016. p. 51-58 (Lecture Notes in Computer Science).

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

TY - GEN

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

AU - Fish, Andrew

AU - Lisitsa, Alexei

AU - Stanovský, David

AU - Swartwood, Sarah

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

PY - 2016/1/1

Y1 - 2016/1/1

KW - computational topology

KW - knot detection and equivalence

KW - SAT and #-SAT solving

KW - quandle coloring

U2 - 10.1007/978-3-319-42432-3

DO - 10.1007/978-3-319-42432-3

M3 - Conference contribution with ISSN or ISBN

SN - 9783319424316

VL - 9725

T3 - Lecture Notes in Computer Science

SP - 51

EP - 58

BT - 5th International Conference on Mathematical Software (ICMS 2016)

PB - Springer International Publishing

CY - Berlin

T2 - 5th International Conference on Mathematical Software (ICMS 2016)

Y2 - 1 January 2016

ER -