BibTeX record journals/corr/AbrahamABBBBCDE16

download as .bib file

@article{DBLP:journals/corr/AbrahamABBBBCDE16,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               John Abbott and
               Bernd Becker and
               Anna Maria Bigatti and
               Martin Brain and
               Bruno Buchberger and
               Alessandro Cimatti and
               James H. Davenport and
               Matthew England and
               Pascal Fontaine and
               Stephen Forrest and
               Alberto Griggio and
               Daniel Kroening and
               Werner M. Seiler and
               Thomas Sturm},
  title     = {Satisfiability Checking and Symbolic Computation},
  journal   = {CoRR},
  volume    = {abs/1607.06945},
  year      = {2016},
  url       = {http://arxiv.org/abs/1607.06945},
  archivePrefix = {arXiv},
  eprint    = {1607.06945},
  timestamp = {Mon, 13 Aug 2018 16:46:44 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/AbrahamABBBBCDE16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics