Search Results for author: Petra Hofstedt

Found 2 papers, 0 papers with code

Exploring Properties of Icosoku by Constraint Satisfaction Approach

no code implementations16 Aug 2019 Ke Liu, Sven Löffler, Petra Hofstedt

Icosoku is a challenging and interesting puzzle that exhibits highly symmetrical and combinatorial nature.

The Regularization of Small Sub-Constraint Satisfaction Problems

no code implementations16 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.

Cannot find the paper you are looking for? You can Submit a new open access paper.