ML Anthology

Hard and Easy Distributions of SAT Problems

David G. Mitchell, Bart Selman, Hector J. Levesque
AAAI 1992 pp. 459-465
/aaai/1992/mitchell1992aaai-hard/
PDF AAAI Semantic Scholar

Cite

Text

Mitchell et al. "Hard and Easy Distributions of SAT Problems." AAAI Conference on Artificial Intelligence, 1992.

Markdown

[Mitchell et al. "Hard and Easy Distributions of SAT Problems." AAAI Conference on Artificial Intelligence, 1992.](https://mlanthology.org/aaai/1992/mitchell1992aaai-hard/)

BibTeX

@inproceedings{mitchell1992aaai-hard,
  title     = {{Hard and Easy Distributions of SAT Problems}},
  author    = {Mitchell, David G. and Selman, Bart and Levesque, Hector J.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1992},
  pages     = {459-465},
  url       = {https://mlanthology.org/aaai/1992/mitchell1992aaai-hard/}
}