Giuseppe Spallitta

19 papers A* 1A 3Journal 15
YearRankTypeTitle / Venue / Authors
2026 J jnl
Beyond Eager Encodings: A Theory-Agnostic Approach to Theory-Lemma Enumeration in SMT.
CoRR
Emanuele Civini, Gabriele Masina, Giuseppe Spallitta, Roberto Sebastiani
2026 J jnl
WME: Extending CDCL-based Model Enumeration with Weights.
CoRR
Giuseppe Spallitta, Moshe Y. Vardi
2026 J jnl
d-DNNF Modulo Theories: A General Framework for Polytime SMT Queries.
CoRR
Gabriele Masina, Emanuele Civini, Massimo Michelutti, Giuseppe Spallitta, Roberto Sebastiani
2025 J jnl
Disjoint projected enumeration for SAT and SMT without blocking clauses.
Artif. Intell.
Giuseppe Spallitta, Roberto Sebastiani, Armin Biere
2025 J jnl
On CNF Conversion for SAT and SMT Enumeration.
J. Artif. Intell. Res.
Gabriele Masina, Giuseppe Spallitta, Roberto Sebastiani
2024 A conf
Canonical Decision Diagrams Modulo Theories.
ECAI
Massimo Michelutti, Gabriele Masina, Giuseppe Spallitta, Roberto Sebastiani
2024 J jnl
Canonical Decision Diagrams Modulo Theories.
CoRR
Massimo Michelutti, Gabriele Masina, Giuseppe Spallitta, Roberto Sebastiani
2024 A* conf
Disjoint Partial Enumeration without Blocking Clauses.
AAAI
Giuseppe Spallitta, Roberto Sebastiani, Armin Biere
2024 J jnl
Disjoint Projected Enumeration for SAT and SMT without Blocking Clauses.
CoRR
Giuseppe Spallitta, Roberto Sebastiani, Armin Biere
2024 J jnl
Enhancing SMT-based Weighted Model Integration by structure awareness.
Artif. Intell.
Giuseppe Spallitta, Gabriele Masina, Paolo Morettin, Andrea Passerini, Roberto Sebastiani
2024 J jnl
Experimenting with D-Wave Quantum Annealers on Prime Factorization problems.
CoRR
Jingwen Ding, Giuseppe Spallitta, Roberto Sebastiani
2024 J jnl
Experimenting with D-Wave quantum annealers on prime factorization problems.
Frontiers Comput. Sci.
Jingwen Ding, Giuseppe Spallitta, Roberto Sebastiani
2023 J jnl
Effective Prime Factorization via Quantum Annealing by Modular Locally-structured Embedding.
CoRR
Jingwen Ding, Giuseppe Spallitta, Roberto Sebastiani
2023 J jnl
Enhancing SMT-based Weighted Model Integration by Structure Awareness.
CoRR
Giuseppe Spallitta, Gabriele Masina, Paolo Morettin, Andrea Passerini, Roberto Sebastiani
2023 J jnl
Enumerating Disjoint Partial Models without Blocking Clauses.
CoRR
Giuseppe Spallitta, Roberto Sebastiani, Armin Biere
2023 A conf
On CNF Conversion for Disjoint SAT Enumeration.
SAT
Gabriele Masina, Giuseppe Spallitta, Roberto Sebastiani
2023 J jnl
On CNF Conversion for SAT Enumeration.
CoRR
Gabriele Masina, Giuseppe Spallitta, Roberto Sebastiani
2022 J jnl
SMT-based Weighted Model Integration with Structure Awareness.
CoRR
Giuseppe Spallitta, Gabriele Masina, Paolo Morettin, Andrea Passerini, Roberto Sebastiani
2022 A conf
SMT-based weighted model integration with structure awareness.
UAI
Giuseppe Spallitta, Gabriele Masina, Paolo Morettin, Andrea Passerini, Roberto Sebastiani