A Multicore Tool for Constraint Solving
* To appear in IJCAI 2015 proceedings * In Constraint Programming (CP), a portfolio solver uses a variety of different solvers for solving a given Constraint Satisfaction / Optimization Problem. In this paper we introduce sunny-cp2: the first parallel CP portfolio solver that enables a dynamic, cooperative, and simultaneous execution of its solvers in a multicore setting. It incorporates state-of-the-art solvers, providing also a usable and configurable framework. Empirical results are very promising. sunny-cp2 can even outperform the performance of the oracle solver which always selects the best solver of the portfolio for a given problem.
Code (1)
Similar Papers 제목 키워드 기반
A Review of Literature on Parallel Constraint Solving
As multicore computing is now standard, it seems irresponsible for constraints researchers to ignore the implications of it. Researchers need to address a number of issues to exploit parallelism, such as: investigating w…
SUNNY-CP and the MiniZinc Challenge
In Constraint Programming (CP) a portfolio solver combines a variety of different constraint solvers for solving a given problem. This fairly recent approach enables to significantly boost the performance of single solve…
Deep Tensor Convolution on Multicores
Deep convolutional neural networks (ConvNets) of 3-dimensional kernels allow joint modeling of spatiotemporal features. These networks have improved performance of video and volumetric image analysis, but have been limit…
CPUGPUMulticore fiber delay line performance against bending and twisting effects
We report the experimental evaluation of bending and twisting effects on the propagation and radiofrequency signal processing performance of multicore fibers. We demonstrate that twisting minimizes to a large extend the …
Model Synthesis for Communication Traces of System-on-Chip Designs
Concise and abstract models of system-level behaviors are invaluable in design analysis, testing, and validation. In this paper, we consider the problem of inferring models from communication traces of system-on-chip~(So…