Improving Constraint Solving on Parallel Hybrid Systems

Abstract

Recently, we developed the Parallel Heterogeneous Architecture Constraint Toolkit (PHACT), which is a multithreaded constraint solver capable of using all the available devices which are compatible with OpenCL, in order to speed up the constraint satisfaction process. In this article, we introduce an evolution of PHACT which includes the ability to execute FlatZinc and MiniZinc models, as well as architectural improvements which boost the performance in solving CSPs, especially when using GPUs.

A Variant of Concurrent Constraint Programming on GPU

“…Moreover, in contrast to our work, the search component is not parallelized. PHACT is another parallel constraint solver running on heterogeneous architectures (CPU, GPU and others) using OPENCL (Roque et al 2018). However, it is not clear from the paper if and how propagation is parallelized.…”