1 citations · 2 across the 4 of their papers we have counts for
1 paper · 1 filter
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…