Roberto Sebastiani
5 papers · 2017–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π 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)
Papers
A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction
UAI 2025
Disjoint Partial Enumeration without Blocking Clauses
AAAI 2024
SMT-based weighted model integration with structure awareness
UAI 2022
The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration
IJCAI 2019
Efficient Weighted Model Integration via SMT-Based Predicate Abstraction
IJCAI 2017