SMT-based weighted model integration with structure awareness. - Giuseppe Spallitta; Gabriele Masina; Paolo Morettin; Andrea Passerini; Roberto Sebastiani (UAI, 2022)

On CNF Conversion for Disjoint SAT Enumeration. - Gabriele Masina; Giuseppe Spallitta; Roberto Sebastiani (SAT, 2023)

On CNF Conversion for SAT Enumeration. - Gabriele Masina; Giuseppe Spallitta; Roberto Sebastiani (CoRR, 2023)

Enumerating Disjoint Partial Models without Blocking Clauses. - Giuseppe Spallitta; Roberto Sebastiani; Armin Biere (CoRR, 2023)

Effective Prime Factorization via Quantum Annealing by Modular Locally-structured Embedding. - Jingwen Ding; Giuseppe Spallitta; Roberto Sebastiani (CoRR, 2023)

Disjoint Partial Enumeration without Blocking Clauses. - Giuseppe Spallitta; Roberto Sebastiani; Armin Biere (AAAI, 2024)

Canonical Decision Diagrams Modulo Theories. - Massimo Michelutti; Gabriele Masina; Giuseppe Spallitta; Roberto Sebastiani (ECAI, 2024)

Experimenting with D-Wave quantum annealers on prime factorization problems. - Jingwen Ding; Giuseppe Spallitta; Roberto Sebastiani (Frontiers Comput. Sci., 2024)

Enhancing SMT-based Weighted Model Integration by structure awareness. - Giuseppe Spallitta; Gabriele Masina; Paolo Morettin; Andrea Passerini; Roberto Sebastiani (Artif. Intell., 2024)

Disjoint Projected Enumeration for SAT and SMT without Blocking Clauses: TabularAllSAT source code. - Giuseppe Spallitta; Armin Biere; Roberto Sebastiani (Zenodo, 2024)

Disjoint Projected Enumeration for SAT and SMT without Blocking Clauses: TabularAllSMT. - Giuseppe Spallitta; Armin Biere; Roberto Sebastiani (Zenodo, 2024)

Disjoint projected enumeration for SAT and SMT without blocking clauses. - Giuseppe Spallitta; Roberto Sebastiani; Armin Biere (Artif. Intell., 2025)

On CNF Conversion for SAT and SMT Enumeration. - Gabriele Masina; Giuseppe Spallitta; Roberto Sebastiani (J. Artif. Intell. Res., 2025)