ML Anthology

Building Structure into Local Search for SAT

Duc Nghia Pham, John Thornton, Abdul Sattar
IJCAI 2007 pp. 2359-2364
/ijcai/2007/pham2007ijcai-building/
PDF IJCAI Semantic Scholar

Cite

Text

Pham et al. "Building Structure into Local Search for SAT." International Joint Conference on Artificial Intelligence, 2007.

Markdown

[Pham et al. "Building Structure into Local Search for SAT." International Joint Conference on Artificial Intelligence, 2007.](https://mlanthology.org/ijcai/2007/pham2007ijcai-building/)

BibTeX

@inproceedings{pham2007ijcai-building,
  title     = {{Building Structure into Local Search for SAT}},
  author    = {Pham, Duc Nghia and Thornton, John and Sattar, Abdul},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2007},
  pages     = {2359-2364},
  url       = {https://mlanthology.org/ijcai/2007/pham2007ijcai-building/}
}