Login / Signup
The Boolean SATisfiability Problem in Clifford algebra.
Marco Budinich
Published in:
CoRR (2017)
Keyphrases
</>
clifford algebra
sat solvers
pattern recognition
multiscale
image reconstruction