BV2EPR: A Tool for Polynomially Translating Quantifier-free Bit-Vector Formulas into EPR (bibtex)
by Gergely Kovásznai, Andreas Fröhlich, Armin Biere
Reference:
BV2EPR: A Tool for Polynomially Translating Quantifier-free Bit-Vector Formulas into EPRGergely Kovásznai, Andreas Fröhlich, Armin BiereAutomated Deduction – CADE-24, volume 7898 of Lecture Notes in Artificial Intelligence, pages 443-449, 9-14 June 2013, Springer.
Bibtex Entry:
@inproceedings{KovasznaiFrohlichBiereCADE2013,
  author    = {Gergely Kov\'asznai and Andreas Fr\"ohlich and Armin Biere},
  title     = {{BV2EPR}: A Tool for Polynomially Translating Quantifier-free Bit-Vector Formulas into {EPR}},
  booktitle = {Automated Deduction -- CADE-24},
  address   = {Lake Placid, NY, USA},
  year      = {2013},
  month     = {9-14 June},
  publisher = {Springer},
  series    = {Lecture Notes in Artificial Intelligence},
  volume    = {7898},
  pages     = {443-449},
  URL       = {http://link.springer.com/chapter/10.1007/978-3-642-38574-2_32}
}
Powered by bibtexbrowser