ML Anthology

Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving

Han Lin, Kaile Su
IJCAI 2007 pp. 2334-2339
/ijcai/2007/lin2007ijcai-exploiting/
PDF IJCAI Semantic Scholar

Cite

Text

Lin and Su. "Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving." International Joint Conference on Artificial Intelligence, 2007.

Markdown

[Lin and Su. "Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving." International Joint Conference on Artificial Intelligence, 2007.](https://mlanthology.org/ijcai/2007/lin2007ijcai-exploiting/)

BibTeX

@inproceedings{lin2007ijcai-exploiting,
  title     = {{Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving}},
  author    = {Lin, Han and Su, Kaile},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2007},
  pages     = {2334-2339},
  url       = {https://mlanthology.org/ijcai/2007/lin2007ijcai-exploiting/}
}