@misc{indiciae6fdd7b315a61,
  title = {The Clifford algebra of \$R\textasciicircum{}\{n,n\}\$ and the Boolean Satisfiability Problem},
  author = {Marco Budinich},
  year = {2021},
  url = {https://arxiv.org/abs/2103.03623},
  note = {Source identifier: 2103.03623}
}