7 citations · 7 across the 5 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
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…
cs.AI2011★ 7 cited
FdConfig: A Constraint-Based Interactive Product Configurator
Denny Schneeweiss, Petra Hofstedt
We present a constraint-based approach to interactive product configuration. Our configurator tool FdConfig is based on feature models for the representation of the product domain.…