C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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