2 papers
cs.AI2019
Exploring Properties of Icosoku by Constraint Satisfaction Approach
Ke Liu, Sven Löffler, Petra Hofstedt
Icosoku is a challenging and interesting puzzle that exhibits highly symmetrical and combinatorial nature. In this paper, we pose the questions derived from the puzzle, but with mo…
cs.AI2019
The Regularization of Small Sub-Constraint Satisfaction Problems
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 constrai…