Login / Signup
Sarah Swartwood
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 3
Top Topics
Satisfiability Testing
B Spline
Stochastic Local Search Algorithms
Sat Solvers
Top Venues
DMS
J. Vis. Lang. Sentient Syst.
ICMS
</>
Publications
</>
Gennaro Costagliola
,
Mattia De Rosa
,
Andrew Fish
,
Vittorio Fuccella
,
Rafiq Saleh
,
Sarah Swartwood
A toolkit for knot diagram sketching, encoding and re-generation.
J. Vis. Lang. Sentient Syst.
2 (2016)
Andrew Fish
,
Alexei Lisitsa
,
David Stanovský
,
Sarah Swartwood
Efficient Knot Discrimination via Quandle Coloring with SAT and #-SAT.
ICMS
(2016)
Mattia De Rosa
,
Andrew Fish
,
Vittorio Fuccella
,
Rafiq Saleh
,
Sarah Swartwood
,
Gennaro Costagliola
A toolkit for knot diagram sketching, encoding and re-generation.
DMS
(2016)