Auflistung nach Autor:in "Liu, Ke"
1 - 2 von 2
Treffer pro Seite
Sortieroptionen
- TextdokumentThe Power of Regular Constraints in CSPs(INFORMATIK 2017, 2017) Löffler, Sven; Liu, Ke; Hofstedt, PetraThis paper discusses the use of the regular membership constraint as a replacement for other (global) constraints. The goal is to replace some or all constraints of a constraint satisfaction problem (CSP) with regular constraints and to combine them into a new regular constraint to remove redundancy and to improve the solution speed of CSPs. By means of a rostering problem as an example it is shown that our approach allows a significant improvement of the solution performance due to a reduction of the size of the search tree.
- TextdokumentUsing Hypertree Decomposition for Parallel Constraint Solving(INFORMATIK 2017, 2017) Liu, Ke; Loeffler, Sven; Hofstedt, PetraMulti-core processors or many-core processors have become the standard configuration for computers nowadays. Yet, the mainstream constraint solvers have not fully utilized these available computation resources due to the intrinsic difficulty on decomposing constraint satisfaction problems (CSPs). This paper reviews the previous research in parallel constraint solving and proposes a new approach for mapping constraint networks on multi-core or many-core processors by means of hypertree decomposition. We give theoretical considerations and our plans for future research.