An Exact Inference Scheme for MinSAT

IJCAI 2015 pp. 1959-1965

/ijcai/2015/li2015ijcai-exact/

Cite

Text

Li and Manyà. "An Exact Inference Scheme for MinSAT." International Joint Conference on Artificial Intelligence, 2015.

Markdown

[Li and Manyà. "An Exact Inference Scheme for MinSAT." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/li2015ijcai-exact/)

BibTeX

@inproceedings{li2015ijcai-exact,
  title     = {{An Exact Inference Scheme for MinSAT}},
  author    = {Li, Chu Min and Manyà, Felip},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {1959-1965},
  url       = {https://mlanthology.org/ijcai/2015/li2015ijcai-exact/}
}