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

MaRDI QIDQ6316706zbMATH OpenFDO

Authors Marco Budinich

Publication date 4 April 2019

Abstract: We explore the relations between the Boolean Satisfiability Problem with $n$ literals and the orthogonal group $O(n)$ and show that all solutions lie in the compact and disconnected real manifold of dimension $n(n-1)/2$ of this group.

This page was built for publication: The Boolean SATisfiability Problem and the orthogonal group $O(n)$

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6316706)