Complete Local Search for Propositional Satisfiability

AAAI 2004 pp. 161-166

/aaai/2004/fang2004aaai-complete/

Cite

Text

Fang and Ruml. "Complete Local Search for Propositional Satisfiability." AAAI Conference on Artificial Intelligence, 2004.

Markdown

[Fang and Ruml. "Complete Local Search for Propositional Satisfiability." AAAI Conference on Artificial Intelligence, 2004.](https://mlanthology.org/aaai/2004/fang2004aaai-complete/)

BibTeX

@inproceedings{fang2004aaai-complete,
  title     = {{Complete Local Search for Propositional Satisfiability}},
  author    = {Fang, Hai and Ruml, Wheeler},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2004},
  pages     = {161-166},
  url       = {https://mlanthology.org/aaai/2004/fang2004aaai-complete/}
}