Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record conf/vampire/SlowikMJHP19
@inproceedings{DBLP:conf/vampire/SlowikMJHP19, author = {Agnieszka Slowik and Chaitanya Mangla and Mateja Jamnik and Sean B. Holden and Lawrence C. Paulson}, editor = {Laura Kov{\'{a}}cs and Andrei Voronkov}, title = {Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving}, booktitle = {Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops}, series = {EPiC Series in Computing}, volume = {71}, pages = {45--51}, publisher = {EasyChair}, year = {2019}, url = {https://easychair.org/publications/paper/K7Zd}, timestamp = {Wed, 11 Aug 2021 18:57:50 +0200}, biburl = {https://dblp.org/rec/conf/vampire/SlowikMJHP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.