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 Biere12-13 July 2014, 15th International Workshop on Logic and Computational Complexity and Workshop in Honor of Neil Immerman's 60th Birthday (LCC 2014/ImmermanFest).
Bibtex Entry:
@misc{KovasznaiVeithFrohlichBiereLCC2014,
  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},
  howpublished = {15th International Workshop on Logic and Computational Complexity and Workshop in Honor of Neil Immerman's 60th Birthday (LCC 2014/ImmermanFest)},
  address   = {Vienna, Austria},
  year      = {2014},
  month     = {12-13 July},
  URL       = {https://sites.google.com/site/gkovasz/research/publications}
}
Powered by bibtexbrowser