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)

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

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

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

Exploiting Partial Assignments in Optimization Modulo Theories. - Gabriele Masina; Roberto Sebastiani (CoRR, 2025)