Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Daniel P. Kennedy
Dan Graur
Hsueh-Ju Lu
Barbara Aquilani
Simon Corston-Oliver
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Eduardo Montijano
Chen Ma
Home
/
Author
/
HANNA LACHNITT
Author Info
Open Visualization
Name
Affiliation
Papers
HANNA LACHNITT
Stanford Univ, Stanford, CA 94305 USA
1
Collaborators
Citations
PageRank
15
0
0.34
Referers
Referees
References
0
0
0
Publications (1 rows)
Collaborators (15 rows)
Referers (0 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
cvc5: A Versatile and Industrial-Strength SMT Solver
0
0.34
2022
1