Exploring Properties of Icosoku by Constraint Satisfaction Approach

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.