Fabio Tardivo

According to our database, Fabio Tardivo authored at least 14 papers between 2014 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Complete Anytime Decision Diagram Search with GPU-Accelerated State Expansion.

Fabio Tardivo, Laurent Michel, Willem-Jan van Hoeve

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2026

2025

GPU Accelerated Compact-Table Propagation.

Enrico Santi, Agostino Dovier, Andrea Formisano, Fabio Tardivo

Theory Pract. Log. Program., 2025

Matching Industry 5.0 and Renewable Energy Integration: an optimization approach for robotic warehouses.

Simone Bellan, Edoardo Cuzzolin, Fabio Tardivo, Antonella Meneghetti

Proceedings of the 7th International Conference on Industry of the Future and Smart Manufacturing (ISM 2025), 2025

GPU-Accelerated Propagation for the Stable Marriage Constraint.

Stefano Travasci, Fabio Tardivo, Andrea Formisano

Proceedings of the 40th Italian Conference on Computational Logic, 2025

2024

Constraint Propagation on GPU: A Case Study for the Bin Packing Constraint.

Fabio Tardivo, Laurent Michel, Enrico Pontelli

CoRR, 2024

CP for Bin Packing with Multi-Core and GPUs.

Fabio Tardivo, Laurent Michel, Enrico Pontelli

Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024

2023

Constraint propagation on GPU: A case study for the AllDifferent constraint.

Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli

J. Log. Comput., December, 2023

Constraint Propagation on GPU: A Case Study for the Cumulative Constraint.

Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2023

2022

Parallel Declarative Solutions of Sequencing Problems Using Multi-valued Decision Diagrams and GPUs.

Fabio Tardivo, Enrico Pontelli

Proceedings of the Practical Aspects of Declarative Languages, 2022

Constraints propagation on GPU: A case study for AllDifferent.

Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli

Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022

2021

A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief States.

Fabio Tardivo, Loc Pham, Tran Cao Son, Enrico Pontelli

Proceedings of the Practical Aspects of Declarative Languages, 2021

2019

Experimenting with Constraint Programming on GPU.

Fabio Tardivo

Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019

Towards Distributed Computation of Answer Sets.

Marco De Bortoli, Federico Igne, Fabio Tardivo, Pietro Totis, Agostino Dovier, Enrico Pontelli

Proceedings of the 34th Italian Conference on Computational Logic, 2019

2014

A Parallel Algorithm for the Best k-Mismatches Alignment Problem.

Cristian Del Fabbro, Fabio Tardivo, Alberto Policriti

Proceedings of the 22nd Euromicro International Conference on Parallel, 2014