11 documents found, page 1 of 2
Improving Constraint Solving on Parallel Hybrid Systems
Roque, Pedro; Pedro, Vasco; Diaz, Daniel; Abreu, SalvadorRecently, 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...
Constraint Solving on Hybrid Systems
Roque, Pedro; Pedro, VascoApplying parallelism to constraint solving seems a promising approach and it has been done with varying degrees of success. Early attempts to parallelize constraint propagation, which constitutes the core of traditional interleaved propagation and search constraint solving, were hindered by its essentially sequential nature. Recently, parallelization efforts have focussed mainly on the search part of constraint...
Improving Constraint Solving on Parallel Hybrid Systems
Roque, Pedro; Pedro, Vasco; Diaz, Daniel; Abreu, SalvadorRecently, 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...
Enlisting GPU Power for Constraint Solving
Roque, Pedro; Pedro, Vasco; Abreu, SalvadorApplying parallelism to constraint solving seems a promising approach and it has been done with varying degrees of success. Early attempts to parallelize constraint propagation, which constitutes the core of traditional interleaved propagation and search constraint solving, were hindered by its essentially sequential nature. Recently, parallelization efforts have focussed mainly on the search part of constraint...
Constraint Solving on Hybrid Systems
Roque, Pedro; Pedro, Vasco; Abreu, SalvadorApplying parallelism to constraint solving seems a promising approach and it has been done with varying degrees of success. Early attempts to parallelize constraint propagation, which constitutes the core of traditional interleaved propagation and search constraint solving, were hindered by its essentially sequential nature. Recently, parallelization efforts have focussed mainly on the search part of constraint...
Load balancing for constraint solving with GPUs
Roque, Pedro; Pedro, Vasco; Abreu, SalvadorSolving a complex Constraint Satisfaction Problem (CSP) is a computationally hard task which may require a considerable amount of time. Parallelism has been applied successfully to the job and there are already many applications capable of harnessing the parallel power of modern CPUs to speed up the solving process. Current Graphics Processing Units (GPUs), containing from a few hundred to a few thousand cores,...
Towards a Multi-device Constraints Solver
Roque, Pedro; Pedro, Vasco; Abreu, SalvadorTo reduce the amount of time needed to solve the most complex Constraint Satisfaction Problems (CSPs) usually multi-core CPUs are used. There are already many applications capable of harnessing the parallel power of these devices to speed up the CSPs solving process. Nowadays, the Graphics Processing Units (GPUs) possess a level of parallelism that surpass the CPUs, containing from a few hundred to a few thousa...
Solving Constraint Satisfaction Problems in GPUs
Roque, Pedro; Pedro, Vasco; Abreu, SalvadorThe complex Constraint Satisfaction Problems (CSPs) still require too long to solve even in the most recent computers. Recently the possibility emerged of using the high level of parallelism provided by current Graphics Processing Units (GPUs) to solve such problems. The work in progress presented here is meant to allow the use of the full computational power of GPUs to solve CSPs in a faster manner. This is do...
On the Scalability of Constraint Programming on Hierarchical Multiprocessor Sys...
Machado, Rui; Pedro, Vasco; Abreu, SalvadorRecent developments in computer architecture progress towards systems with large core count, which expose more parallelism to applications, creating a hierarchical setup at the node and cluster levels. To take advantage of all this parallelism, applications must carefully exploit the different levels of the system which, if ignored, may yield surprising results. This aggravates the already difficult task of par...
A Parallel and Distributed Framework for Constraint Solving
Pedro, Vasco; Machado, Rui; Abreu, SalvadorWith the increased availability of affordable parallel and dis- tributed hardware, programming models for these architectures has be- come the focus of significant attention. Constraint programming, which can be seen as the encoding of processes as a Constraint Satisfaction Problem, because of its data-driven and control-insensitive approach is a prime candidate to serve as the basis for a framework which effec...