@misc{indiciaee37ba2b6b9fa,
  title = {The Boolean SATisfiability Problem and the orthogonal group \$O(n)\$},
  author = {Marco Budinich},
  year = {2023},
  url = {https://arxiv.org/abs/1904.02629},
  note = {Source identifier: 1904.02629}
}