Incremental Solving with Vampire (bibtex)
by Giles Reger, Martin Suda
Reference:
Incremental Solving with VampireGiles Reger, Martin SudaVampire 2017. Proceedings of the 4th Vampire Workshop (Laura Kov\textbackslash'acs, Andrei Voronkov, eds.), volume 53 of EPiC Series in Computing, pages 52–63, 2018, EasyChair.
Bibtex Entry:
@inproceedings{Vampire17:Incremental_Solving_with_Vampire,
  author    = {Giles Reger and Martin Suda},
  title     = {Incremental Solving with Vampire},
  booktitle = {Vampire 2017. Proceedings of the 4th Vampire Workshop},
  editor    = {Laura Kov\textbackslash{}'acs and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {53},
  pages     = {52--63},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/hCRF},
  doi       = {10.29007/6sjl}}
Powered by bibtexbrowser