TY - RPRT TI - Exploring Properties of Icosoku by Constraint Satisfaction Approach AU - Ke Liu AU - Sven Löffler AU - Petra Hofstedt PY - 2019 UR - https://arxiv.org/abs/1908.06003 ID - 1908.06003 ER -