The Boolean SATisfiability Problem in Clifford algebra
Abstract
We present a formulation of the Boolean Satisfiability Problem in spinor language that allows to give a necessary and sufficient condition for unsatisfiability. With this result we outline an algorithm to test for unsatisfiability with possibly interesting theoretical properties.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2017
- DOI:
- arXiv:
- arXiv:1704.02942
- Bibcode:
- 2017arXiv170402942B
- Keywords:
-
- Mathematical Physics;
- Computer Science - Computational Complexity
- E-Print:
- 16 pages, better formalization and simpler proofs