ML Anthology

Backbone Guided Local Search for Maximum Satisfiability

Weixiong Zhang, Ananda Rangan, Moshe Looks
IJCAI 2003 pp. 1179-1186
/ijcai/2003/zhang2003ijcai-backbone/
PDF IJCAI Semantic Scholar

Cite

Text

Zhang et al. "Backbone Guided Local Search for Maximum Satisfiability." International Joint Conference on Artificial Intelligence, 2003.

Markdown

[Zhang et al. "Backbone Guided Local Search for Maximum Satisfiability." International Joint Conference on Artificial Intelligence, 2003.](https://mlanthology.org/ijcai/2003/zhang2003ijcai-backbone/)

BibTeX

@inproceedings{zhang2003ijcai-backbone,
  title     = {{Backbone Guided Local Search for Maximum Satisfiability}},
  author    = {Zhang, Weixiong and Rangan, Ananda and Looks, Moshe},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2003},
  pages     = {1179-1186},
  url       = {https://mlanthology.org/ijcai/2003/zhang2003ijcai-backbone/}
}