Gabriele Masina

14 papers A 3Journal 10Unranked 1
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
The Theory and Practice of MAP Inference over Non-Convex Constraints.
CoRR
Leander Kurscheidt, Gabriele Masina, Roberto Sebastiani, Antonio Vergari
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
Exploiting Partial Assignments in Optimization Modulo Theories.
CoRR
Gabriele Masina, Roberto Sebastiani
2025 — conf
Exploiting Partial-Assignment Enumeration in Optimization Modulo Theories.
FroCoS
Gabriele Masina, Roberto Sebastiani
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 J jnl
Enhancing SMT-based Weighted Model Integration by structure awareness.
Artif. Intell.
Giuseppe Spallitta, Gabriele Masina, Paolo Morettin, Andrea Passerini, 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 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