27 citations · 36 across the 4 of their papers we have counts for
1 paper · 1 filter
Shunichi Matsubara
In this paper, we propose an algorithm for the positive one-in-three satisfiability problem (Pos1in3SAT). The proposed algorithm can efficiently decide the existence of a satisfyin…