Fabio Tardivo

According to our database, Fabio Tardivo authored at least 9 papers between 2014 and 2024.

Collaborative distances:

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

2024

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

Fabio Tardivo, Laurent Michel, Enrico Pontelli

CoRR, 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