Knot Coloring as Verification.

Robert W. McGrail, Thuy Trang Nguyen, Mary Sharac Granda

Browse the full SYNASC paper archive.