On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic (bibtex)
by Gergely Kovásznai, Helmut Veith, Andreas Fröhlich, Armin Biere
Reference:
On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector LogicGergely Kovásznai, Helmut Veith, Andreas Fröhlich, Armin BiereProceedings of the 39th International Symposium on Mathematical Foundations of Computer Science (MFCS 2014), volume 8635 of Lecture Notes in Computer Science, pages 481-492, August 2014, Springer.
Bibtex Entry:
@inproceedings{KovasznaiVeithFrohlichBiereMFCS2014,
  author    = {Gergely Kov\'asznai and Helmut Veith and Andreas Fr\"ohlich and Armin Biere},
  title     = {On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic},
  booktitle = {Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science (MFCS 2014)},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {8635},
  pages     = {481-492},
  address   = {Budapest, Hungary},
  year      = {2014},
  month     = {August},
  URL       = {http://link.springer.com/book/10.1007/978-3-662-44465-8/page/3}
}
Powered by bibtexbrowser