ML Anthology

A New Method for Solving Hard Satisfiability Problems

Bart Selman, Hector J. Levesque, David G. Mitchell
AAAI 1992 pp. 440-446
/aaai/1992/selman1992aaai-new/
PDF AAAI Semantic Scholar

Cite

Text

Selman et al. "A New Method for Solving Hard Satisfiability Problems." AAAI Conference on Artificial Intelligence, 1992.

Markdown

[Selman et al. "A New Method for Solving Hard Satisfiability Problems." AAAI Conference on Artificial Intelligence, 1992.](https://mlanthology.org/aaai/1992/selman1992aaai-new/)

BibTeX

@inproceedings{selman1992aaai-new,
  title     = {{A New Method for Solving Hard Satisfiability Problems}},
  author    = {Selman, Bart and Levesque, Hector J. and Mitchell, David G.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1992},
  pages     = {440-446},
  url       = {https://mlanthology.org/aaai/1992/selman1992aaai-new/}
}