Giuseppe Spallitta

According to our database, Giuseppe Spallitta authored at least 17 papers between 2022 and 2026.

Collaborative distances:

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

2026

Computing Short SAT Implicants via Ising/QUBO Encodings.

Giuseppe Spallitta, Leonardo Dueñas-Osorio, Moshe Y. Vardi

CoRR, May, 2026

WME: Extending CDCL-based Model Enumeration with Weights.

Giuseppe Spallitta, Moshe Y. Vardi

CoRR, March, 2026

d-DNNF Modulo Theories: A General Framework for Polytime SMT Queries.

Gabriele Masina, Emanuele Civini, Massimo Michelutti, Giuseppe Spallitta, Roberto Sebastiani

CoRR, March, 2026

Beyond Eager Encodings: A Theory-Agnostic Approach to Theory-Lemma Enumeration in SMT.

Emanuele Civini, Gabriele Masina, Giuseppe Spallitta, Roberto Sebastiani

CoRR, February, 2026

2025

On CNF Conversion for SAT and SMT Enumeration.

Gabriele Masina, Giuseppe Spallitta, Roberto Sebastiani

J. Artif. Intell. Res., 2025

Disjoint projected enumeration for SAT and SMT without blocking clauses.

Giuseppe Spallitta, Roberto Sebastiani, Armin Biere

Artif. Intell., 2025

2024

Disjoint Projected Enumeration for SAT and SMT without Blocking Clauses: TabularAllSMT.

Giuseppe Spallitta, Armin Biere, Roberto Sebastiani

Dataset, November, 2024

Disjoint Projected Enumeration for SAT and SMT without Blocking Clauses: TabularAllSAT source code.

Giuseppe Spallitta, Armin Biere, Roberto Sebastiani

Dataset, November, 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

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