%0 Conference Paper %1 conf/gcai/JakubuvSU17 %A Jakubuv, Jan %A Suda, Martin %A Urban, Josef %B GCAI %D 2017 %E Benzmüller, Christoph %E Lisetti, Christine L. %E Theobald, Martin %I EasyChair %K %P 121-133 %T Automated Invention of Strategies and Term Orderings for Vampire. %U http://dblp.uni-trier.de/db/conf/gcai/gcai2017.html#JakubuvSU17 %V 50

@inproceedings{conf/gcai/JakubuvSU17, added-at = {2023-12-14T16:01:21.000+0100}, author = {Jakubuv, Jan and Suda, Martin and Urban, Josef}, biburl = {https://www.bibsonomy.org/bibtex/2c830f6bf750cb83ca39a9cdbae150548/admin}, booktitle = {GCAI}, crossref = {conf/gcai/2017}, editor = {Benzmüller, Christoph and Lisetti, Christine L. and Theobald, Martin}, ee = {https://easychair.org/publications/paper/rsMF}, interhash = {f276d67afc946a129a89205d39c20362}, intrahash = {c830f6bf750cb83ca39a9cdbae150548}, keywords = {}, pages = {121-133}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2023-12-14T16:01:21.000+0100}, title = {Automated Invention of Strategies and Term Orderings for Vampire.}, url = {http://dblp.uni-trier.de/db/conf/gcai/gcai2017.html#JakubuvSU17}, volume = 50, year = 2017 }