On the complexity of the quantified bit-vector arithmetic with binary encoding.

Martin Jonás Jan Strejcek

Published in: Inf. Process. Lett. (2018)

Keyphrases

bit vector
encoding schemes
computational complexity
bit string
bit vectors
complexity reduction
neural network
information retrieval
real time
binary representation
variable length
binary trees
floating point
decision problems
image quality
feature selection
data sets