125 citations · 125 across the 3 of their papers we have counts for
1 paper · 1 filter
Eliezer L. Lozinskii
This note considers checking satisfiability of sets of propositional clauses (SAT instances). It shows that "unipolar sets" of clauses (containing no positive or no negative clause…