ML Anthology

Weight-Enhanced Diversification in Stochastic Local Search for Satisfiability

Thach-Thao Nguyen Duong, Duc Nghia Pham, Abdul Sattar, M. A. Hakim Newton
IJCAI 2013 pp. 524-530
/ijcai/2013/duong2013ijcai-weight/
IJCAI Semantic Scholar

Cite

Text

Duong et al. "Weight-Enhanced Diversification in Stochastic Local Search for Satisfiability." International Joint Conference on Artificial Intelligence, 2013.

Markdown

[Duong et al. "Weight-Enhanced Diversification in Stochastic Local Search for Satisfiability." International Joint Conference on Artificial Intelligence, 2013.](https://mlanthology.org/ijcai/2013/duong2013ijcai-weight/)

BibTeX

@inproceedings{duong2013ijcai-weight,
  title     = {{Weight-Enhanced Diversification in Stochastic Local Search for Satisfiability}},
  author    = {Duong, Thach-Thao Nguyen and Pham, Duc Nghia and Sattar, Abdul and Newton, M. A. Hakim},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2013},
  pages     = {524-530},
  url       = {https://mlanthology.org/ijcai/2013/duong2013ijcai-weight/}
}