BibTeX record conf/micai/BiereDKV14

download as .bib file

@inproceedings{DBLP:conf/micai/BiereDKV14,
  author    = {Armin Biere and
               Ioan Dragan and
               Laura Kov{\'{a}}cs and
               Andrei Voronkov},
  title     = {Experimenting with {SAT} Solvers in Vampire},
  booktitle = {Human-Inspired Computing and Its Applications - 13th Mexican International
               Conference on Artificial Intelligence, {MICAI} 2014, Tuxtla Guti{\'{e}}rrez,
               Mexico, November 16-22, 2014. Proceedings, Part {I}},
  pages     = {431--442},
  year      = {2014},
  crossref  = {DBLP:conf/micai/2014-1},
  url       = {https://doi.org/10.1007/978-3-319-13647-9\_39},
  doi       = {10.1007/978-3-319-13647-9\_39},
  timestamp = {Sat, 19 Oct 2019 20:34:24 +0200},
  biburl    = {https://dblp.org/rec/conf/micai/BiereDKV14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/micai/2014-1,
  editor    = {Alexander F. Gelbukh and
               F{\'{e}}lix Castro{-}Espinoza and
               Sof{\'{\i}}a N. Galicia{-}Haro},
  title     = {Human-Inspired Computing and Its Applications - 13th Mexican International
               Conference on Artificial Intelligence, {MICAI} 2014, Tuxtla Guti{\'{e}}rrez,
               Mexico, November 16-22, 2014. Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8856},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-13647-9},
  doi       = {10.1007/978-3-319-13647-9},
  isbn      = {978-3-319-13646-2},
  timestamp = {Sun, 19 Sep 2021 14:04:25 +0200},
  biburl    = {https://dblp.org/rec/conf/micai/2014-1.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics