ML Anthology

Automated Discovery of Composite SAT Variable-Selection Heuristics

Alex S. Fukunaga
AAAI 2002 pp. 641-648
/aaai/2002/fukunaga2002aaai-automated/
PDF AAAI Semantic Scholar

Cite

Text

Fukunaga. "Automated Discovery of Composite SAT Variable-Selection Heuristics." AAAI Conference on Artificial Intelligence, 2002.

Markdown

[Fukunaga. "Automated Discovery of Composite SAT Variable-Selection Heuristics." AAAI Conference on Artificial Intelligence, 2002.](https://mlanthology.org/aaai/2002/fukunaga2002aaai-automated/)

BibTeX

@inproceedings{fukunaga2002aaai-automated,
  title     = {{Automated Discovery of Composite SAT Variable-Selection Heuristics}},
  author    = {Fukunaga, Alex S.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2002},
  pages     = {641-648},
  url       = {https://mlanthology.org/aaai/2002/fukunaga2002aaai-automated/}
}