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]

Authors

Ke Liu 0006

This author has not been identified. Look up 'Ke Liu 0006' in Google

Sven Löffler

This author has not been identified. Look up 'Sven Löffler' in Google

Petra Hofstedt

This author has not been identified. Look up 'Petra Hofstedt' in Google