Automated Invention of Strategies and Term Orderings for Vampire (bibtex)
by Jan Jakubuv, Martin Suda, Josef Urban
Reference:
Automated Invention of Strategies and Term Orderings for VampireJan Jakubuv, Martin Suda, Josef UrbanGCAI 2017. 3rd Global Conference on Artificial Intelligence (Christoph Benzm\verb=\="uller, Christine Lisetti, Martin Theobald, eds.), volume 50 of EPiC Series in Computing, pages 121-133, 2017, EasyChair.
Bibtex Entry:
@inproceedings{GCAI2017:VStrategies,
  author    = {Jan Jakubuv and Martin Suda and Josef Urban},
  title     = {Automated Invention of Strategies and Term Orderings for Vampire},
  booktitle = {GCAI 2017. 3rd Global Conference on Artificial Intelligence},
  editor    = {Christoph Benzm\verb=\="uller and Christine Lisetti and Martin Theobald},
  series    = {EPiC Series in Computing},
  volume    = {50},
  pages     = {121-133},
  year      = {2017},
  publisher = {EasyChair},  
  url = {https://easychair.org/publications/paper/rsMF},
  bibsource = {EasyChair, http://www.easychair.org},
}
Powered by bibtexbrowser