On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width.

Gergely Kovásznai Andreas Fröhlich Armin Biere

Published in: SMT@IJCAR (2012)

Keyphrases

bit vector
fixed size
variable size
bit vectors
sliding window
run length
window size
expressive power
worst case
subsequence matching
binary representation
data sets
image sequences
data streams
modal logic
gray code