Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Clayton D. Scott
muljowidodo kartidjo
Duzgun, H.Sebnem
Jean Jourdan
Roland Zumkeller
Maximilian Dürr
Xiyan Li
Dan Graur
Y. Mrad
Megan Kelly Hofmann
Home
/
Paper
/
The 2012 SMT Competition.
Paper Info
Open Visualization
Title
The 2012 SMT Competition.
Year
Venue
DocType
2014
JSAT
Journal
Volume
Citations
PageRank
9
2
0.39
References
Authors
2
4
Authors (4 rows)
Cited by (2 rows)
References (2 rows)
Name
Order
Citations
PageRank
David R. Cok
1
651
40.73
Alberto Griggio
2
624
36.37
Roberto Bruttomesso
3
463
29.46
Morgan Deters
4
283
17.25
1