Giuseppe Spallitta
2 papers
· 2022–2024
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(2)
🌈
Renaissance Researcher
(5)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(11)
Conferences
AAAI (1)
UAI (1)
Top co-authors
Keywords
probabilistic inference
(1)
constraint solving
(1)
smt solving
(1)
hybrid domain
(1)
weighted model integration
(1)
propositional logic
(1)
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)
propositional model
(1)