Hiroshi Unno
2 papers · 2020–2025 · 1 venue · 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 ↓
๐
Academic Marathon ยท Sprint
๐
Interdisciplinary Bridge ยท Silver
๐
Trend Setter
Venues
Research topics
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)