PPaperPicks

Giuseppe Spallitta

3 papers at tracked venues · 1 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1CP ×1ECAI ×1

Frequent coauthors

Roberto Sebastiani
×2
Leonardo Dueñas-Osorio
×1
Moshe Y. Vardi
×1
Massimo Michelutti
×1
Gabriele Masina
×1
Armin Biere
×1

Papers

  1. Computing Short SAT Implicants via Ising/QUBO Encodings
    CP 2026 · Giuseppe Spallitta,
    Leonardo Dueñas-Osorio
    ,
    Moshe Y. Vardi
  2. Canonical Decision Diagrams Modulo Theories
    ECAI 2024 ·
    Massimo Michelutti
    ,
    Gabriele Masina
    , Giuseppe Spallitta,
    Roberto Sebastiani
  3. Disjoint Partial Enumeration without Blocking Clauses
    AAAI 2024 · Giuseppe Spallitta,
    Roberto Sebastiani
    ,
    Armin Biere