Exact computation for existence of a knot counterexample K. Marinelli | T. J. Peters | Show more K. Marinelli United States University of Connecticut Department of Computer Science & Engineering T. J. Peters United States University of Connecticut Department of Computer Science & Engineering Submitted: 2018-11-07 | Accepted: 2018-11-07 | Published: 2019-04-01 DOI: https://doi.org/10.4995/agt.2019.10928