Please use this identifier to cite or link to this item:
http://hdl.handle.net/10174/24781
|
| Title: | Improving Constraint Solving on Parallel Hybrid Systems |
| Authors: | Roque, Pedro
Pedro, Vasco
Diaz, Daniel
Abreu, Salvador |
| Issue Date: | Nov-2018 |
| Publisher: | IEEE Xplore |
| Citation: | Pedro Roque, Vasco Pedro, Daniel Diaz, Salvador Abreu: Improving Constraint Solving on Parallel Hybrid Systems. ICTAI 2018: 726-732 |
| Abstract: | 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. |
| URI: | http://hdl.handle.net/10174/24781 |
| Type: | article |
| Appears in Collections: | LISP - Artigos em Livros de Actas/Proceedings
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
/
LISP - Laboratório de Informática, Sistemas e Paralelismo /
LISP - Artigos em Livros de Actas/Proceedings /
