preprint · arXiv (Cornell University) · 2019

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

Cited by 2Open access

Abstract

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 induce involutions of $\mathbb{R}^n$ that lie in the compact, disconnected real manifold of dimension $n (n-1)/2$ of $\mbox{O}(n)$. This result in turn gives a new unsatisfiability test within group $\mbox{O}(n)$.

Cite this paper

APA 7

Budinich, M. (2019). The Boolean SATisfiability Problem and the orthogonal group $O(n)$. arXiv (Cornell University). https://doi.org/10.48550/arxiv.1904.02629

MLA 9

Budinich, Marko. “The Boolean SATisfiability Problem and the orthogonal group $O(n)$.” arXiv (Cornell University), 2019, https://doi.org/10.48550/arxiv.1904.02629.

Chicago

Budinich, Marko. 2019. “The Boolean SATisfiability Problem and the orthogonal group $O(n)$.” arXiv (Cornell University). https://doi.org/10.48550/arxiv.1904.02629.

Harvard

Budinich, M. (2019) ‘The Boolean SATisfiability Problem and the orthogonal group $O(n)$’, arXiv (Cornell University). Available at: https://doi.org/10.48550/arxiv.1904.02629.

BibTeX

@misc{budinich2019boolean,
  title = {{The Boolean SATisfiability Problem and the orthogonal group $O(n)$}},
  author = {Budinich, Marko},
  journal = {arXiv (Cornell University)},
  year = {2019},
  doi = {10.48550/arxiv.1904.02629}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.