no code implementations • 16 Aug 2019 • Sven Löffler, Ke Liu, Petra Hofstedt
This paper describes a new approach on optimization of constraint satisfaction problems (CSPs) by means of substituting sub-CSPs with locally consistent regular membership constraints.
no code implementations • 16 Aug 2019 • Ke Liu, Sven Löffler, Petra Hofstedt
Icosoku is a challenging and interesting puzzle that exhibits highly symmetrical and combinatorial nature.