A Parallel Algorithm for the Best k-Mismatches Alignment Problem. - Cristian Del Fabbro; Fabio Tardivo; Alberto Policriti (PDP, 2014)

Towards Distributed Computation of Answer Sets. - Marco De Bortoli; Federico Igne; Fabio Tardivo; Pietro Totis; Agostino Dovier; Enrico Pontelli (CILC, 2019)

Experimenting with Constraint Programming on GPU. - Fabio Tardivo (ICLP Technical Communications, 2019)

A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief States. - Fabio Tardivo; Loc Pham; Tran Cao Son; Enrico Pontelli (PADL, 2021)

Constraints propagation on GPU: A case study for AllDifferent. - Fabio Tardivo; Agostino Dovier; Andrea Formisano 001; Laurent Michel; Enrico Pontelli (CILC, 2022)

Parallel Declarative Solutions of Sequencing Problems Using Multi-valued Decision Diagrams and GPUs. - Fabio Tardivo; Enrico Pontelli (PADL, 2022)

Constraint propagation on GPU: A case study for the AllDifferent constraint. - Fabio Tardivo; Agostino Dovier; Andrea Formisano 001; Laurent Michel; Enrico Pontelli (J. Log. Comput., 2023)

CP for Bin Packing with Multi-Core and GPUs. - Fabio Tardivo; Laurent Michel; Enrico Pontelli (CP, 2024)

Constraint Propagation on GPU: A Case Study for the Bin Packing Constraint. - Fabio Tardivo; Laurent Michel; Enrico Pontelli (CoRR, 2024)

Constraint propagation on GPU: a case study for the cumulative constraint. - Fabio Tardivo; Agostino Dovier; Andrea Formisano 001; Laurent Michel; Enrico Pontelli (Constraints An Int. J., 2024)

GPU-Accelerated Propagation for the Stable Marriage Constraint. - Stefano Travasci; Fabio Tardivo; Andrea Formisano 001 (CILC, 2025)

GPU Accelerated Compact-Table Propagation. - Enrico Santi; Fabio Tardivo; Agostino Dovier; Andrea Formisano 001 (CoRR, 2025)