TY  - RPRT
TI  - Computing a Knot Invariant as a Constraint Satisfaction Problem
AU  - Chihiro H. Nakajima
AU  - Takahiro Sakaue
PY  - 2011
DO  - 10.1143/jpsj.81.035001
UR  - https://arxiv.org/abs/1111.1060
ID  - 1111.1060
ER  -