Giuseppe Spallitta

According to our database, Giuseppe Spallitta authored at least 7 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

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