arrow
返回
R

Roberto Sebastiani

university of trento

39H指数
177论文数
6.6K被引数
收录论文 6
发表时间
Enhancing SMT-based Weighted Model Integration by structure awareness
err2024-03-01
err1
errOAAI
errSpallitta, Giuseppe; Masina, Gabriele; Morettin, Paolo; Passerini, Andrea; Sebastiani, Roberto
err分享
err收藏
Effective prime factorization via quantum annealing by modular locally-structured embedding
err2024-02-12
err3
errOAAI
errDing, Jingwen; Spallitta, Giuseppe; Sebastiani, Roberto
err分享
err收藏
Advanced SMT techniques for weighted model integration
err2019-10-01
err16
errOAAI
errMorettin, Paolo; Passerini, Andrea; Sebastiani, Roberto
err分享
err收藏
Structured learning modulo theories结构化学习模理论
err2017-03-01
err32
errOAAI
errTeso, Stefano; Sebastiani, Roberto; Passerini, Andrea
err分享
err收藏
Calculating criticalities
err1996-12-01
err4
errOAAI
errBundy, A; Giunchiglia, F; Sebastiani, R; Walsh, T
err分享
err收藏