The Clifford algebra of $R^{n,n}$ and the Boolean Satisfiability Problem
Abstract
We formulate a Boolean algebra in the set of idempotents of Clifford algebra Cl($R^{n,n}$) and within this frame we examine different formulations of the Boolean Satisfiability Problem in Clifford algebra. Exploiting the isomorphism between null subspaces of $R^{n,n}$ associated to simple spinors and the orthogonal group O(n) we ultimately give a continuous formulation of the Boolean Satisfiability Problem within this group that opens unexplored perspectives.
 Publication:

arXiv eprints
 Pub Date:
 March 2021
 arXiv:
 arXiv:2103.03623
 Bibcode:
 2021arXiv210303623B
 Keywords:

 Mathematical Physics
 EPrint:
 International Conference ICCA 12, Hefei, August 37, 2020