1 citations · 1 across the 1 of their papers we have counts for
1 paper
Syed Mohammed Meesum, T. V. H Prathamesh
Unknot recognition is one of the fundamental questions in low dimensional topology. In this work, we show that this problem can be encoded as a validity problem in the existential…