Fabio Tardivo

According to our database, Fabio Tardivo authored at least 10 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 cumulative constraint.

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

Constraints An Int. J., June, 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

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