Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Daniel P. Kennedy
Ronald D. Fricker
Dan Graur
Barbara Aquilani
Marissa S. Barlaz
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
K. C. Tan
Home
/
Paper
/
Exploiting Different Strategies for the Parallelization of an SMT Solver.
Paper Info
Open Visualization
Title
Exploiting Different Strategies for the Parallelization of an SMT Solver.
Year
Venue
DocType
2010
MBMV
Conference
Citations
PageRank
References
2
0.38
0
Authors
5
Authors (5 rows)
Cited by (2 rows)
References (0 rows)
Name
Order
Citations
PageRank
Natalia Kalinnik
1
20
5.04
Erika Ábrahám
2
830
63.17
Tobias Schubert
3
598
37.74
Ralf Wimmer
4
407
34.28
B. Becker
5
191
21.44
1