logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
G

Gabriele Masina

university of trento

3H-index
15Paper Count
18Citation Count
Published Papers 2
Publication Date
logo
Exploiting Partial-Assignment Enumeration in Optimization Modulo Theories
errFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
err2026-01-01
err0
errOAAI
errMasina, Gabriele; Sebastiani, Roberto
errShare
errSave
Enhancing SMT-based Weighted Model Integration by structure awareness
errartificial intelligence review
IF4.6
err2024-03-01
err1
errOAAI
errSpallitta, Giuseppe; Masina, Gabriele; Morettin, Paolo; Passerini, Andrea; Sebastiani, Roberto
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
R
Roberto Sebastiani
H-index: 39 · Papers: 177
A
Andrea Passerini
H-index: 30 · Papers: 246
P
Paolo Morettin
H-index: 7 · Papers: 29
G
Giuseppe Spallitta
H-index: 4 · Papers: 22
All loaded