Efficient Knot Discrimination via Quandle Coloring with SAT and #-SAT. - Andrew Fish; Alexei Lisitsa 001; David Stanovský; Sarah Swartwood (ICMS, 2016)

A toolkit for knot diagram sketching, encoding and re-generation. - Gennaro Costagliola; Mattia De Rosa; Andrew Fish; Vittorio Fuccella; Rafiq Saleh; Sarah Swartwood (J. Vis. Lang. Sentient Syst., 2016)