Fabio Tardivo

14 papers A 1B 1C 3Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
GPU Accelerated Compact-Table Propagation.
CoRR
Enrico Santi, Fabio Tardivo, Agostino Dovier, Andrea Formisano
2025 J jnl
GPU Accelerated Compact-Table Propagation.
Theory Pract. Log. Program.
Enrico Santi, Agostino Dovier, Andrea Formisano, Fabio Tardivo
2025 — conf
GPU-Accelerated Propagation for the Stable Marriage Constraint.
CILC
Stefano Travasci, Fabio Tardivo, Andrea Formisano
2024 A conf
CP for Bin Packing with Multi-Core and GPUs.
CP
Fabio Tardivo, Laurent Michel, Enrico Pontelli
2024 J jnl
Constraint Propagation on GPU: A Case Study for the Bin Packing Constraint.
CoRR
Fabio Tardivo, Laurent Michel, Enrico Pontelli
2024 J jnl
Constraint propagation on GPU: a case study for the cumulative constraint.
Constraints An Int. J.
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
2023 B conf
Constraint Propagation on GPU: A Case Study for the Cumulative Constraint.
CPAIOR
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
2023 J jnl
Constraint propagation on GPU: A case study for the AllDifferent constraint.
J. Log. Comput.
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
2022 — conf
Constraints propagation on GPU: A case study for AllDifferent.
CILC
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
2022 C conf
Parallel Declarative Solutions of Sequencing Problems Using Multi-valued Decision Diagrams and GPUs.
PADL
Fabio Tardivo, Enrico Pontelli
2021 C conf
A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief States.
PADL
Fabio Tardivo, Loc Pham, Tran Cao Son, Enrico Pontelli
2019 — conf
Experimenting with Constraint Programming on GPU.
ICLP Technical Communications
Fabio Tardivo
2019 — conf
Towards Distributed Computation of Answer Sets.
CILC
Marco De Bortoli, Federico Igne, Fabio Tardivo, Pietro Totis, Agostino Dovier, Enrico Pontelli
2014 C conf
A Parallel Algorithm for the Best k-Mismatches Alignment Problem.
PDP
Cristian Del Fabbro, Fabio Tardivo, Alberto Policriti