18 citations · 60 across the 35 of their papers we have counts for
1 paper · 2 filters
Andrew Fish, Alexei Lisitsa
We explore the application of automated reasoning techniques to unknot detection, a classical problem of computational topology. We adopt a two-pronged experimental approach, using…