Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Clayton D. Scott
Msumba, J.A.
muljowidodo kartidjo
Duzgun, H.Sebnem
Jean Jourdan
Roland Zumkeller
Maximilian Dürr
Hoon Hong
Dan Graur
Marco Gavanelli
Home
/
Paper
/
Conflicts, Models and Heuristics for Quantifier Instantiation in SMT.
Paper Info
Open Visualization
Title
Conflicts, Models and Heuristics for Quantifier Instantiation in SMT.
Year
Venue
Field
2016
Vampire@IJCAR
Computer science,Theoretical computer science,Heuristics
DocType
Citations
PageRank
Conference
0
0.34
References
Authors
0
1
Authors (1 rows)
Cited by (0 rows)
References (0 rows)
Name
Order
Citations
PageRank
Andrew Reynolds
1
212
14.79
1
