Gabriele Masina

Publication Activity (10 Years)

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

Top Topics

Conjunctive Normal Form

Decision Diagrams

Modulo Theories

Top Venues

Publications

Giuseppe Spallitta, Gabriele Masina, Paolo Morettin, Andrea Passerini, Roberto Sebastiani
Enhancing SMT-based Weighted Model Integration by structure awareness. Artif. Intell. 328 (2024)
Massimo Michelutti, Gabriele Masina, Giuseppe Spallitta, Roberto Sebastiani
Canonical Decision Diagrams Modulo Theories. CoRR (2024)
Gabriele Masina, Giuseppe Spallitta, Roberto Sebastiani
On CNF Conversion for SAT Enumeration. 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)