@misc{indiciaeb8d98b7a09bd,
  title = {Technical Notes on Complexity of the Satisfiability Problem},
  author = {Marek A. Suchenek},
  year = {2015},
  url = {https://arxiv.org/abs/1504.01092},
  note = {Source identifier: 1504.01092}
}