SAT-based Compressive Sensing.

Ramin Ayanzadeh Milton Halem Tim Finin

Published in: CoRR (2019)

Keyphrases

compressive sensing
sparse representation
image recovery
sat solvers
random projections
compressive sampling
signal processing
image representation
signal reconstruction
distributed source coding
neural network
dimensionality reduction
structured sparsity
object recognition