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