ML Anthology

A Rearrangement Search Strategy for Determining Propositional Satisfiability

Ramin Zabih, David A. McAllester
AAAI 1988 pp. 155-160
/aaai/1988/zabih1988aaai-rearrangement/
PDF AAAI Semantic Scholar

Cite

Text

Zabih and McAllester. "A Rearrangement Search Strategy for Determining Propositional Satisfiability." AAAI Conference on Artificial Intelligence, 1988.

Markdown

[Zabih and McAllester. "A Rearrangement Search Strategy for Determining Propositional Satisfiability." AAAI Conference on Artificial Intelligence, 1988.](https://mlanthology.org/aaai/1988/zabih1988aaai-rearrangement/)

BibTeX

@inproceedings{zabih1988aaai-rearrangement,
  title     = {{A Rearrangement Search Strategy for Determining Propositional Satisfiability}},
  author    = {Zabih, Ramin and McAllester, David A.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1988},
  pages     = {155-160},
  url       = {https://mlanthology.org/aaai/1988/zabih1988aaai-rearrangement/}
}