27 citations · 61 across the 8 of their papers we have counts for
1 paper · 2 filters
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…