@misc{indiciae03302b5197ee,
  title = {Boundary Evolution Algorithm for SAT-NP},
  author = {Zhaoyang Ai and Chaodong Fan and Yingjie Zhang and Huigui Rong and Ze'an Tian and Haibing Fu},
  year = {2018},
  url = {https://arxiv.org/abs/1903.01894},
  note = {Source identifier: 1903.01894}
}