@misc{W2166566648,
  author = {Thomas J. Schaefer},
  title = {The complexity of satisfiability problems},
  year = {1978},
  doi = {https://doi.org/10.1145/800133.804350}
}