Sarah Swartwood

Research output

Research output per year 2016 2016 2016

• 1 Conference contribution with ISSN or ISBN
• 1 Article

Research output per year

Research output per year

Search results

• 2016

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

  Fish, A., Lisitsa, A., Stanovský, D. & Swartwood, S., 1 Jan 2016, 5th International Conference on Mathematical Software (ICMS 2016). Berlin: Springer International Publishing, Vol. 9725. p. 51-58 8 p. (Lecture Notes in Computer Science).

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