@misc{indiciaee3bcd24f39ea,
  title = {Linear Programming Formulation of the Boolean Satisfiability Problem},
  author = {Moustapha Diaby},
  year = {2016},
  url = {https://arxiv.org/abs/0808.3386},
  note = {Source identifier: 0808.3386}
}