Efficiently Solving Bit-Vector Problems Using Model Checkers (bibtex)
by Andreas Fröhlich, Gergely Kovásznai, Armin Biere
Reference:
Efficiently Solving Bit-Vector Problems Using Model CheckersAndreas Fröhlich, Gergely Kovásznai, Armin BiereProceedings of the 11th International Workshop on Satisfiability Modulo Theories (SMT 2013), aff. to SAT 2013, pages 6-15, 8-9 July 2013.
Bibtex Entry:
@inproceedings{FrohlichKovasznaiBiereSMT2013,
  author    = {Andreas Fr\"ohlich and Gergely Kov\'asznai and Armin Biere},
  title     = {Efficiently Solving Bit-Vector Problems Using Model Checkers},
  booktitle = {Proceedings of the 11th International Workshop on Satisfiability Modulo Theories (SMT 2013), aff. to SAT 2013},
  address   = {Helsinki, Finland},
  year      = {2013},
  month     = {8-9 July},
  pages     = {6-15},
  URL       = {http://smt2013.fbk.eu/smt13.pdf}
}
Powered by bibtexbrowser