7 citations · 7 across the 5 of their papers we have counts for
6 papers
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…
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…
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…
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.…
Realizing evaluation strategies by hierarchical graph rewriting
Petra Hofstedt
We discuss the realization of evaluation strategies for the concurrent constraint-based functional language CCFL within the translation schemata when compiling CCFL programs into t…
Integration of Declarative and Constraint Programming
Petra Hofstedt, Peter Pepper
Combining a set of existing constraint solvers into an integrated system of cooperating solvers is a useful and economic principle to solve hybrid constraint problems. In this pape…