We stand with Ukraine  

Gabriele Masina

Orcid: 0000-0001-8842-4913

According to our database1, Gabriele Masina authored at least 11 papers between 2022 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2026
d-DNNF Modulo Theories: A General Framework for Polytime SMT Queries.
[BibTeX]
[DOI]
Gabriele Masina
,
Emanuele Civini
,
Massimo Michelutti
,
Giuseppe Spallitta
,
Roberto Sebastiani
CoRR, March, 2026

Beyond Eager Encodings: A Theory-Agnostic Approach to Theory-Lemma Enumeration in SMT.
[BibTeX]
[DOI]
Emanuele Civini
,
Gabriele Masina
,
Giuseppe Spallitta
,
Roberto Sebastiani
CoRR, February, 2026

The Theory and Practice of MAP Inference over Non-Convex Constraints.
[BibTeX]
[DOI]
Leander Kurscheidt
,
Gabriele Masina
,
Roberto Sebastiani
,
Antonio Vergari
CoRR, February, 2026

2025
Exploiting Partial Assignments in Optimization Modulo Theories.
[BibTeX]
[DOI]
Gabriele Masina
,
Roberto Sebastiani
CoRR, February, 2025

On CNF Conversion for SAT and SMT Enumeration.
[BibTeX]
[DOI]
Gabriele Masina
,
Giuseppe Spallitta
,
Roberto Sebastiani
J. Artif. Intell. Res., 2025

Exploiting Partial-Assignment Enumeration in Optimization Modulo Theories.
[BibTeX]
[DOI]
Gabriele Masina
,
Roberto Sebastiani
Proceedings of the Frontiers of Combining Systems - 15th International Symposium, 2025

2024
Enhancing SMT-based Weighted Model Integration by structure awareness.
[BibTeX]
[DOI]
Giuseppe Spallitta
,
Gabriele Masina
,
Paolo Morettin
,
Andrea Passerini
,
Roberto Sebastiani
Artif. Intell., March, 2024

Canonical Decision Diagrams Modulo Theories.
[BibTeX]
[DOI]
Massimo Michelutti
,
Gabriele Masina
,
Giuseppe Spallitta
,
Roberto Sebastiani
Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

2023
On CNF Conversion for SAT Enumeration.
[BibTeX]
[DOI]
Gabriele Masina
,
Giuseppe Spallitta
,
Roberto Sebastiani
CoRR, 2023

On CNF Conversion for Disjoint SAT Enumeration.
[BibTeX]
[DOI]
Gabriele Masina
,
Giuseppe Spallitta
,
Roberto Sebastiani
Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

2022
SMT-based weighted model integration with structure awareness.
[BibTeX]
[DOI]
Giuseppe Spallitta
,
Gabriele Masina
,
Paolo Morettin
,
Andrea Passerini
,
Roberto Sebastiani
Proceedings of the Uncertainty in Artificial Intelligence, 2022


  Loading...