Gabriele Masina

14 papers A 3Journal 10Unranked 1

Year	Rank	Type	Title / 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