On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic

Kovásznai, Gergely; Veith, Helmut; Fröhlich, Andreas; Biere, Armin

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}
}