TY - GEN A1 - Liu, Ke A1 - Löffler, Sven A1 - Hofstedt, Petra A2 - Abreu, Salvador A2 - Hofstedt, Petra A2 - John, Ulrich A2 - Kuchen, Herbert A2 - Seipel, Dietmar T1 - Exploring Properties of Icosoku by Constraint Satisfaction Approach T2 - Pre-proceedings of the {DECLARE} 2019 Conference KW - Constraint Satisfaction Problems Y1 - 2020 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/24940 UR - https://arxiv.org/pdf/1908.06003.pdf ER -