3 papers
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.OH2024
Constraint Propagation on GPU: A Case Study for the Bin Packing Constraint
Fabio Tardivo, Laurent Michel, Enrico Pontelli
The Bin Packing Problem is one of the most important problems in discrete optimization, as it captures the requirements of many real-world problems. Because of its importance, it h…
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…