Gergely Kovásznai, Andreas Fröhlich, Armin Biere
On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width
SMT, 2012.
@inproceedings{SMT-2012-KovasznaiFB,
author = "Gergely Kovásznai and Andreas Fröhlich and Armin Biere",
booktitle = "{Proceedings of the 10th International Workshop on Satisfiability Modulo Theories}",
ee = "http://www.easychair.org/publications/?page=131883749",
pages = "44--56",
publisher = "{EasyChair}",
series = "{EPiC Series}",
title = "{On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width}",
volume = 20,
year = 2012,
}