TY  - RPRT
TI  - A Satisfiability algorithm based on Simple Spinors of the Clifford algebra of $\mathbb{R}^{n,n}$
AU  - Marco Budinich
PY  - 2026
UR  - https://arxiv.org/abs/2501.01961
ID  - 2501.01961
ER  -