Computing a Knot Invariant as a Constraint Satisfaction Problem - Chihiro H. Nakajima; Takahiro Sakaue (CoRR, 2011)