ML Anthology

Efficiently Exploiting Dependencies in Local Search for SAT

Duc Nghia Pham, John Thornton, Abdul Sattar
AAAI 2008 pp. 1476-1478
/aaai/2008/pham2008aaai-efficiently/
PDF AAAI Semantic Scholar

Cite

Text

Pham et al. "Efficiently Exploiting Dependencies in Local Search for SAT." AAAI Conference on Artificial Intelligence, 2008.

Markdown

[Pham et al. "Efficiently Exploiting Dependencies in Local Search for SAT." AAAI Conference on Artificial Intelligence, 2008.](https://mlanthology.org/aaai/2008/pham2008aaai-efficiently/)

BibTeX

@inproceedings{pham2008aaai-efficiently,
  title     = {{Efficiently Exploiting Dependencies in Local Search for SAT}},
  author    = {Pham, Duc Nghia and Thornton, John and Sattar, Abdul},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2008},
  pages     = {1476-1478},
  url       = {https://mlanthology.org/aaai/2008/pham2008aaai-efficiently/}
}