Login / Signup

The Boolean SATisfiability Problem in Clifford algebra.

Marco Budinich
Published in: Theor. Comput. Sci. (2019)
Keyphrases
  • clifford algebra
  • sat solvers
  • pattern recognition
  • multiresolution
  • computer vision