A Satisfiability algorithm based on Simple Spinors of the Clifford algebra of ${\mathbb{R}}^{n,n}$

Marco Budinich

We refine the formulation of the Boolean satisfiability problem with $n$ Boolean variables in Clifford algebra $\mathcal{C}\ell ({\mathbb{R}}^{n,n})$ [3] and exploit this continuous sett…