Title
Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving.
Year
Venue
DocType
2019
Vampire
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
5
Name
Order
Citations
PageRank
Agnieszka Slowik100.68
Chaitanya Mangla200.68
Mateja Jamnik315830.79
Sean B. Holden419530.15
Lawrence C. Paulson532.45