Scholar

Gabriele Masina

Google Scholar ID: wr1HA_IAAAAJ

PhD student, Computer Science, University of Trento

Formal MethodsAutomated Reasoning

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

52

H-index

4

i10-index

3

Publications

7

Co-authors

0

Contact

No contact links provided.

Publications

5 items

d-DNNF Modulo Theories: A General Framework for Polytime SMT Queries

2026

Cited

0

Beyond Eager Encodings: A Theory-Agnostic Approach to Theory-Lemma Enumeration in SMT

2026

Cited

0

The Theory and Practice of MAP Inference over Non-Convex Constraints

2026

Cited

0

Exploiting Partial Assignments in Optimization Modulo Theories

2025

Cited

0

On CNF Conversion for SAT and SMT Enumeration

2023

Cited

2

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)