Research output per year
Research output per year
-
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
-
KnotSketch: a tool for knot diagram sketching, encoding and re-generation
Costagliola, G., De Rosa, M., Fish, A., Fuccella, V., Saleh, R. & Swartwood, S., 1 Oct 2016, In: Journal of Visual Languages and Sentient Systems. 2, p. 16-25 10 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile