Follow
A Satisfiability algorithm based on Simple Spinors of the Clifford algebra of $\mathbb{R}^{n,n}$ https://arxiv.org/abs/2501.01961 #mathph #mathMP
A Satisfiability algorithm based on Simple Spinors of the Clifford algebra of $\mathbb{R}^{n,n}$ https://arxiv.org/abs/2501.01961 #mathph #mathMP