The Boolean SATisfiability Problem and the orthogonal group $O(n)$

Marco Budinich

We explore the relations between the Boolean Satisfiability Problem with $n$ Boolean variables and the orthogonal group $\mbox{O}(n)$. We show that all $2^n$ possible solutions ind…