Giuseppe Spallitta

Identifiers

• name variant Giuseppe Spallitta 0.60 · backfill

Papers (6)

1. Computing Short SAT Implicants via Ising/QUBO Encodings cs.LO · 2026 · author #1
2. Extending CDCL-based Model Enumeration with Weights cs.LO · 2026 · author #1
3. d-DNNF Modulo Theories: A General Framework for Polytime SMT Queries cs.LO · 2026 · author #4
4. Beyond Eager Encodings: A Theory-Agnostic Approach to Theory-Lemma Enumeration in SMT cs.LO · 2026 · author #3
5. Disjoint Projected Enumeration for SAT and SMT without Blocking Clauses cs.LO · 2024 · author #1
6. Disjoint Partial Enumeration without Blocking Clauses cs.LO · 2023 · author #1

Mentions

• 2605.07017 #1 · arxiv_oai · confidence 0.70 Giuseppe Spallitta
• 2602.14634 #3 · arxiv_oai · confidence 0.70 Giuseppe Spallitta
• 2603.09975 #4 · arxiv_oai · confidence 0.70 Giuseppe Spallitta

Frequent Coauthors

• Roberto Sebastiani 4 shared papers
• Armin Biere 2 shared papers
• Emanuele Civini 2 shared papers
• Gabriele Masina 2 shared papers
• Moshe Y. Vardi 2 shared papers
• Leonardo Duenas-Osorio 1 shared papers
• Massimo Michelutti 1 shared papers