@misc{indiciaea541f2698863,
  title = {Two-Dimensional Indirect Binary Search for the Positive One-in-Three Satisfiability Problem},
  author = {Shunichi Matsubara},
  year = {2017},
  url = {https://arxiv.org/abs/1708.08377},
  note = {Source identifier: 1708.08377}
}