Giuseppe Spallitta

According to our database, Giuseppe Spallitta authored at least 10 papers between 2022 and 2024.

Collaborative distances:

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

2024

Enhancing SMT-based Weighted Model Integration by structure awareness.

Giuseppe Spallitta, Gabriele Masina, Paolo Morettin, Andrea Passerini, Roberto Sebastiani

Artif. Intell., March, 2024

Experimenting with D-Wave quantum annealers on prime factorization problems.

Jingwen Ding, Giuseppe Spallitta, Roberto Sebastiani

Frontiers Comput. Sci., 2024

Disjoint Projected Enumeration for SAT and SMT without Blocking Clauses.

Giuseppe Spallitta, Roberto Sebastiani, Armin Biere

CoRR, 2024

Canonical Decision Diagrams Modulo Theories.

Massimo Michelutti, Gabriele Masina, Giuseppe Spallitta, Roberto Sebastiani

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

Disjoint Partial Enumeration without Blocking Clauses.

Giuseppe Spallitta, Roberto Sebastiani, Armin Biere

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Effective Prime Factorization via Quantum Annealing by Modular Locally-structured Embedding.

Jingwen Ding, Giuseppe Spallitta, Roberto Sebastiani

CoRR, 2023

Enumerating Disjoint Partial Models without Blocking Clauses.

Giuseppe Spallitta, Roberto Sebastiani, Armin Biere

CoRR, 2023

On CNF Conversion for SAT Enumeration.

Gabriele Masina, Giuseppe Spallitta, Roberto Sebastiani

CoRR, 2023

On CNF Conversion for Disjoint SAT Enumeration.

Gabriele Masina, Giuseppe Spallitta, Roberto Sebastiani

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

2022

SMT-based weighted model integration with structure awareness.

Giuseppe Spallitta, Gabriele Masina, Paolo Morettin, Andrea Passerini, Roberto Sebastiani

Proceedings of the Uncertainty in Artificial Intelligence, 2022