@article{twodimensionalindirectbinarysearchfor,
  title = {Two-Dimensional Indirect Binary Search for the Positive One-in-Three Satisfiability Problem},
  author = {Shunichi Matsubara},
  year = {2017},
  eprint = {1708.08377},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1708.08377v2},
}