Roberto Sebastiani
5 papers · 2017–2025 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Sprint
🌉
Interdisciplinary Bridge · Gold
🗺️
Taxonomy Completionist
(16)
🐣
Hot Topic Early Bird
Top co-authors
Research topics
Mathematics & Optimization
(4)
Optimization
(4)
Artificial Intelligence
(3)
Machine Learning
(3)
Bayesian & Probabilistic · Artificial Intelligence
(3)
Optimization & Theory
(3)
Bayesian & Probabilistic · Machine Learning
(2)
Mathematics
(2)
Computer Science
(1)
Knowledge & Reasoning
(1)
Core AI
(1)
Foundations
(1)
Probability
(1)
Reasoning
(1)
Keywords
weighted model integration
(3)
probabilistic inference
(3)
weighted model counting
(2)
smt solving
(2)
continuous variable
(2)
hybrid domain
(2)
predicate abstraction
(1)
propositional logic
(1)
conflict-driven clause learning
(1)
clause learning
(1)
safety-critical application
(1)
logical constraint
(1)
propositional model enumeration
(1)
chronological backtracking
(1)
blocking clause
(1)
unit propagation
(1)
symbolic integration
(1)
algebraic constraint
(1)
implicant shrinking
(1)
disjoint allsat
(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