TY  - RPRT
TI  - The Boolean SATisfiability Problem and the orthogonal group $O(n)$
AU  - Marco Budinich
PY  - 2023
UR  - https://arxiv.org/abs/1904.02629
ID  - 1904.02629
ER  -