@misc{LiuLoefflerHofstedt2020, author = {Ke Liu and Sven L{\"o}ffler and Petra Hofstedt}, title = {Exploring Properties of Icosoku by Constraint Satisfaction Approach}, booktitle = {Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Revised Selected Papers}, editor = {Petra Hofstedt and Salvador Abreu and Ulrich John and Herbert Kuchen and Dietmar Seipel}, isbn = {978-3-030-46713-5}, issn = {0302-9743}, doi = {10.1007/978-3-030-46714-2_7}, institution = {FG Programmiersprachen und Compilerbau}, type = {conferenceobject_ref}, pages = {99 -- 105}, year = {2020}, }