ML Anthology

Variable-Selection Heuristics in Local Search for SAT

Alex S. Fukunaga
AAAI 1997 pp. 275-280
/aaai/1997/fukunaga1997aaai-variable/
PDF AAAI Semantic Scholar

Cite

Text

Fukunaga. "Variable-Selection Heuristics in Local Search for SAT." AAAI Conference on Artificial Intelligence, 1997.

Markdown

[Fukunaga. "Variable-Selection Heuristics in Local Search for SAT." AAAI Conference on Artificial Intelligence, 1997.](https://mlanthology.org/aaai/1997/fukunaga1997aaai-variable/)

BibTeX

@inproceedings{fukunaga1997aaai-variable,
  title     = {{Variable-Selection Heuristics in Local Search for SAT}},
  author    = {Fukunaga, Alex S.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1997},
  pages     = {275-280},
  url       = {https://mlanthology.org/aaai/1997/fukunaga1997aaai-variable/}
}