Giuseppe Spallitta

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 12

Top Topics

Conjunctive Normal Form

Decision Diagrams

Modulo Theories

Top Venues

Frontiers Comput. Sci.

Publications

Giuseppe Spallitta, Gabriele Masina, Paolo Morettin, Andrea Passerini, Roberto Sebastiani
Enhancing SMT-based Weighted Model Integration by structure awareness. Artif. Intell. 328 (2024)
Jingwen Ding, Giuseppe Spallitta, Roberto Sebastiani
Experimenting with D-Wave Quantum Annealers on Prime Factorization problems. CoRR (2024)
Giuseppe Spallitta, Roberto Sebastiani, Armin Biere
Disjoint Partial Enumeration without Blocking Clauses. AAAI (2024)
Massimo Michelutti, Gabriele Masina, Giuseppe Spallitta, Roberto Sebastiani
Canonical Decision Diagrams Modulo Theories. CoRR (2024)
Jingwen Ding, Giuseppe Spallitta, Roberto Sebastiani
Experimenting with D-Wave quantum annealers on prime factorization problems. Frontiers Comput. Sci. 6 (2024)
Giuseppe Spallitta, Roberto Sebastiani, Armin Biere
Enumerating Disjoint Partial Models without Blocking Clauses. CoRR (2023)
Gabriele Masina, Giuseppe Spallitta, Roberto Sebastiani
On CNF Conversion for SAT Enumeration. CoRR (2023)
Jingwen Ding, Giuseppe Spallitta, Roberto Sebastiani
Effective Prime Factorization via Quantum Annealing by Modular Locally-structured Embedding. CoRR (2023)
Gabriele Masina, Giuseppe Spallitta, Roberto Sebastiani
On CNF Conversion for Disjoint SAT Enumeration. SAT (2023)
Giuseppe Spallitta, Gabriele Masina, Paolo Morettin, Andrea Passerini, Roberto Sebastiani
Enhancing SMT-based Weighted Model Integration by Structure Awareness. CoRR (2023)
Giuseppe Spallitta, Gabriele Masina, Paolo Morettin, Andrea Passerini, Roberto Sebastiani
SMT-based Weighted Model Integration with Structure Awareness. CoRR (2022)
Giuseppe Spallitta, Gabriele Masina, Paolo Morettin, Andrea Passerini, Roberto Sebastiani
SMT-based weighted model integration with structure awareness. UAI (2022)