On the Complexity of the Quantified Bit-Vector Arithmetic with Binary Encoded Bit-Widths.

Martin Jonás Jan Strejcek

Published in: CoRR (2016)

Keyphrases

bit vector
bit vectors
run length
worst case
arithmetic operations
data sets
data structure
np complete
decision problems
space complexity
hamming distance
binary representation