Complexity of Fixed-Size Bit-Vector Logics.

Gergely Kovásznai Andreas Fröhlich Armin Biere

Published in: Theory Comput. Syst. (2016)

Keyphrases

fixed size
bit vector
variable size
sliding window
expressive power
subsequence matching
computational complexity
window size
bit vectors
data sets
feature extraction
worst case
model checking
inference rules
pspace complete
small image patches