7 citations · 7 across the 5 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.PL2019
Pre-proceedings of the DECLARE 2019 Conference
Salvador Abreu, Petra Hofstedt, Ulrich John +2
This volume constitutes the pre-proceedings of the DECLARE 2019 conference, held on September 9 to 13, 2019 at the University of Technology Cottbus - Senftenberg (Germany). Declara…
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…