Ke Liu 0006, Sven Löffler, Petra Hofstedt. Exploring Properties of Icosoku by Constraint Satisfaction Approach. In Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel, editors, Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers. Volume 12057 of Lecture Notes in Computer Science, pages 99-105, Springer, 2019. [doi]
Abstract is missing.