A Linear Algebra Formulation for Boolean Satisfiability Testing.

Chengling Fang Jiang Liu

Published in: CoRR (2017)

Keyphrases

linear algebra
satisfiability testing
propositional logic
singular value decomposition
computer architecture
image processing
sparse matrices
radon transform
knowledge base
high resolution
dimensionality reduction
pattern analysis
numerical methods