Fabio Tardivo

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 9

Top Topics

Arc Consistency

Binary Constraints

Constraint Propagation

Top Venues

J. Log. Comput.

Publications

Fabio Tardivo, Laurent Michel, Enrico Pontelli
Constraint Propagation on GPU: A Case Study for the Bin Packing Constraint. CoRR (2024)
Fabio Tardivo, Laurent Michel, Enrico Pontelli
CP for Bin Packing with Multi-Core and GPUs. CP (2024)
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
Constraint Propagation on GPU: A Case Study for the Cumulative Constraint. CPAIOR (2023)
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
Constraint propagation on GPU: A case study for the AllDifferent constraint. J. Log. Comput. 33 (8) (2023)
Fabio Tardivo, Enrico Pontelli
Parallel Declarative Solutions of Sequencing Problems Using Multi-valued Decision Diagrams and GPUs. PADL (2022)
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
Constraints propagation on GPU: A case study for AllDifferent. CILC (2022)
Fabio Tardivo, Loc Pham, Tran Cao Son, Enrico Pontelli
A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief States. PADL (2021)
Marco De Bortoli, Federico Igne, Fabio Tardivo, Pietro Totis, Agostino Dovier, Enrico Pontelli
Towards Distributed Computation of Answer Sets. CILC (2019)
Fabio Tardivo
Experimenting with Constraint Programming on GPU. ICLP Technical Communications (2019)
Cristian Del Fabbro, Fabio Tardivo, Alberto Policriti
A Parallel Algorithm for the Best k-Mismatches Alignment Problem. PDP (2014)