BibTeX record journals/cca/AbrahamA0BBBCDE16

download as .bib file

@article{DBLP:journals/cca/AbrahamA0BBBCDE16,
  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   = {{ACM} Commun. Comput. Algebra},
  volume    = {50},
  number    = {4},
  pages     = {145--147},
  year      = {2016},
  url       = {https://doi.org/10.1145/3055282.3055285},
  doi       = {10.1145/3055282.3055285},
  timestamp = {Fri, 09 Apr 2021 18:26:37 +0200},
  biburl    = {https://dblp.org/rec/journals/cca/AbrahamA0BBBCDE16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics