Showing cs.AIShow all
2 papers · 1 filter
cs.AI2025
GPU Accelerated Compact-Table Propagation
Enrico Santi, Fabio Tardivo, Agostino Dovier +1
Constraint Programming developed within Logic Programming in the Eighties; nowadays all Prolog systems encompass modules capable of handling constraint programming on finite domain…
cs.AI2019
Experimenting with Constraint Programming on GPU
Fabio Tardivo
The focus of my PhD thesis is on exploring parallel approaches to efficiently solve problems modeled by constraints and presenting a new proposal. Current solvers are very advanced…