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.
CoRR, March, 2026

Beyond Eager Encodings: A Theory-Agnostic Approach to Theory-Lemma Enumeration in SMT.
CoRR, February, 2026

The Theory and Practice of MAP Inference over Non-Convex Constraints.
CoRR, February, 2026

2025
Exploiting Partial Assignments in Optimization Modulo Theories.
CoRR, February, 2025

On CNF Conversion for SAT and SMT Enumeration.
J. Artif. Intell. Res., 2025

Exploiting Partial-Assignment Enumeration in Optimization Modulo Theories.
Proceedings of the Frontiers of Combining Systems - 15th International Symposium, 2025

2024
Enhancing SMT-based Weighted Model Integration by structure awareness.
Artif. Intell., March, 2024

Canonical Decision Diagrams Modulo Theories.
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.
CoRR, 2023

On CNF Conversion for Disjoint SAT Enumeration.
Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

2022
SMT-based weighted model integration with structure awareness.
Proceedings of the Uncertainty in Artificial Intelligence, 2022


  Loading...