Roberto Sebastiani
5 papers
· 2017–2025
· 3 conferences
· across top CS/AI conferences
Achievements
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Conference Polyglot
(3)
π
Academic Marathon
(8)
π
Cross-Pollinator
(15)
π
Renaissance Researcher
(5)
πΊοΈ
Taxonomy Completionist
(15)
π£
Hot Topic Early Bird
Conferences
IJCAI (2)
UAI (2)
AAAI (1)
Top co-authors
Keywords
weighted model integration
(3)
probabilistic inference
(3)
weighted model counting
(2)
smt solving
(2)
continuous variable
(2)
hybrid domain
(2)
conflict-driven clause learning
(1)
clause learning
(1)
logical constraint
(1)
propositional model enumeration
(1)
chronological backtracking
(1)
blocking clause
(1)
unit propagation
(1)
implicant shrinking
(1)
disjoint allsat
(1)
bayesian inference
(1)
propositional model
(1)
symbolic reasoning
(1)
constraint solving
(1)
symbolic computation
(1)