Options
{CUDA}: Set constraints on GPUs
Dovier, Agostino
Formisano, Andrea
Pontelli, Enrico
Tardivo, Fabio
2021
Loading...
e-ISSN
2464-8728
Abstract
Set constraints have been introduced in declarative programming languages in the Nineties as a consequence of a broader research on programming with sets and on computable set theory. General Purpose Graphics Processing Units (GPUs), originally developed for graphical purposes (e.g., for high definition video games), emerged recently as a powerful and cheap parallel architecture, widely available in most desktops and laptops computers. This paper presents a constraint solver on set constraints and its parallel implementation on GPUs.
Publisher
EUT Edizioni Università di Trieste
Source
Agostino Dovier, Andrea Formisano,
Enrico Pontelli, Fabio Tardivo, "{CUDA}: Set constraints on GPUs" in: "Rendiconti dell’Istituto di Matematica dell’Università di Trieste: an International Journal of Mathematics vol.53 (2021)", EUT Edizioni Università di Trieste, Trieste, 2021. pp.
Enrico Pontelli, Fabio Tardivo, "{CUDA}: Set constraints on GPUs" in: "Rendiconti dell’Istituto di Matematica dell’Università di Trieste: an International Journal of Mathematics vol.53 (2021)", EUT Edizioni Università di Trieste, Trieste, 2021. pp.
Languages
en
File(s)