Hannah Miller
4 papers · 2021–2023 · 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 ↓
🌉
Interdisciplinary Bridge · Silver
🗺️
Taxonomy Completionist
(13)
🏆
Keyword Champion
(2)
🌈
Renaissance Researcher
(5)
Venues
Top co-authors
Research topics
Keywords
sat solver
(2)
constraint encoding
(2)
knot theory
(2)
knot mosaic
(2)
maximum likelihood
(1)
gene regulatory network
(1)
signed network
(1)
quantified boolean formula
(1)
search space reduction
(1)
pspace completeness
(1)
graph generative model
(1)
combinatorial enumeration
(1)
combinatorial counting
(1)
nondeterministic finite automaton
(1)
automaton equivalence
(1)
state enumeration
(1)
automata equivalence
(1)
combinatorial optimization
(1)
network generation model
(1)
network modeling
(1)