Hiroshi Unno
2 papers · 2020–2025 · 1 conference · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🏃 Academic Marathon (5) 🌈 Renaissance Researcher (5) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (15)
📈
Trend Setter
Conferences
AAAI (2)
Keywords
probabilistic inference
(1)
constraint solving
(1)
program verification
(1)
constraint satisfaction
(1)
graphical model
(1)
model checking
(1)
quantified boolean formula
(1)
predicate logic
(1)
first-order predicate logic
(1)
counterexample guided inductive synthesis
(1)
constrained horn clause
(1)
higher-order model checking
(1)