ML Anthology

Resolution in Max-SAT and Its Relation to Local Consistency in Weighted CSPs

Javier Larrosa, Federico Heras
IJCAI 2005 pp. 193-198
/ijcai/2005/larrosa2005ijcai-resolution/
PDF IJCAI Semantic Scholar

Cite

Text

Larrosa and Heras. "Resolution in Max-SAT and Its Relation to Local Consistency in Weighted CSPs." International Joint Conference on Artificial Intelligence, 2005.

Markdown

[Larrosa and Heras. "Resolution in Max-SAT and Its Relation to Local Consistency in Weighted CSPs." International Joint Conference on Artificial Intelligence, 2005.](https://mlanthology.org/ijcai/2005/larrosa2005ijcai-resolution/)

BibTeX

@inproceedings{larrosa2005ijcai-resolution,
  title     = {{Resolution in Max-SAT and Its Relation to Local Consistency in Weighted CSPs}},
  author    = {Larrosa, Javier and Heras, Federico},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2005},
  pages     = {193-198},
  url       = {https://mlanthology.org/ijcai/2005/larrosa2005ijcai-resolution/}
}