12 citations · 63 across the 14 of their papers we have counts for
1 paper · 2 filters
Marco Budinich
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…