Author(s): Roque, Pedro ; Pedro, Vasco ; Diaz, Daniel ; Abreu, Salvador
Date: 2018
Persistent ID: http://hdl.handle.net/10174/23639
Origin: Repositório Científico da Universidade de Évora
Document details
Improving Constraint Solving on Parallel Hybrid Systems
Description
Recently, we developed the Parallel Heterogeneous Architecture Constraint Toolkit (PHACT), which is a multi-threaded 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.
Document Type
Journal article
Language Portuguese
Language Portuguese
