@misc{indiciae98c8a4c735a8,
  title = {A Linear Algebra Formulation for Boolean Satisfiability Testing},
  author = {Chengling Fang and Jiang Liu},
  year = {2018},
  url = {https://arxiv.org/abs/1701.02401},
  note = {Source identifier: 1701.02401}
}