Hannah Miller
4 papers
· 2021–2023
· 1 conference
· across top CS/AI conferences
Achievements
🌈
Renaissance Researcher
(6)
🌉
Interdisciplinary Bridge
🗺️
Taxonomy Completionist
(13)
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
🏆
Keyword Champion
(2)
Conferences
AAAI (4)
Top co-authors
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)